HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
691.
▲
Your brain on Tetris (EEG data and viz code provided)
github.com/yters
discuss
7 years ago
yters
2 points
692.
▲
Show HN: OpenFaaS provider for containerd – single node / edge workloads
github.com/alexellis
discuss
7 years ago
alexellisuk
2 points
693.
▲
Show HN: Inlets-operator 0.5.4 gains free exit-node with GCE provisioner
github.com/inlets
discuss
7 years ago
alexellisuk
2 points
694.
▲
Lean Theorem Prover
github.com/leanprover
discuss
7 years ago
tosh
2 points
695.
▲
ProvideGardenPlantingListViewModelFactory
github.com/googlesamples
discuss
7 years ago
baalimago
2 points
696.
▲
Ask HN: Which AI/ML software stack is quickest way from idea to ML provision?
discuss
7 years ago
SimplyUseless
2 points
697.
▲
Show HN: A Scala service that provides cryptocoin data from several exchanges
github.com/minaandrawos
discuss
7 years ago
minaandrawos
2 points
698.
▲
Simple Kubernetes clusters on cloud providers for development
github.com/grampelberg
discuss
7 years ago
alexellisuk
2 points
699.
▲
ProtEnc – Proving Protocols with Typestates in C++
github.com/nitnelave
discuss
7 years ago
nitnelave
2 points
700.
▲
A color scheme providing both colored and text-style preview for Markdown
github.com/avivace
discuss
7 years ago
avivace
2 points
701.
▲
Manipulate DNS records on various DNS providers in a standardized way
github.com/AnalogJ
discuss
7 years ago
jcamou
2 points
702.
▲
An OSS IoT/Robotics Platform Provides All Layers (L1 to L7) of the OSI Model
github.com/rdbox-intec
discuss
7 years ago
fudekun
2 points
703.
▲
A tool to explore the ports provided by the IANA database
github.com/ncrocfer
discuss
7 years ago
ncrocfer
2 points
704.
▲
Docker Volume Driver providing fixed size volumes using loopback devices
github.com/ashald
discuss
7 years ago
ashald
2 points
705.
▲
How I did implement a sample SAML 2.0 Service Provider built on Spring Boot
github.com/vdenotaris
discuss
7 years ago
vdenotaris
2 points
706.
▲
Pkgcloud abstracts away differences among multiple cloud providers
github.com/pkgcloud
discuss
7 years ago
bryanrasmussen
2 points
707.
▲
OpenChemistry project for providing tools for computational chemistry
github.com
discuss
8 years ago
xvilka
2 points
708.
▲
Baker (cli tool for provisioning vms and containers)
github.com/ottomatica
discuss
8 years ago
tosh
2 points
709.
▲
Show HN: Rocket – A go utility to automate deployments to any cloud provider
github.com/bloom42
discuss
8 years ago
z0mbie42
2 points
710.
▲
Show HN: A simple Go utility to ease deployments to any provider (SSH, Heorku..)
github.com/astrocorp42
discuss
8 years ago
z0mbie42
2 points
711.
▲
Show HN: I made a simple Logback over JMS provider
github.com/exabrial
discuss
8 years ago
exabrial
2 points
712.
▲
Undictify: A Python library providing type-checked function calls at runtime
github.com/Dobiasd
discuss
8 years ago
Dobiasd
2 points
713.
▲
Show HN: Hop – An AMQP client wrapper that provides easy work queue semantics
github.com/mazingstudio
discuss
8 years ago
ArturoVM
2 points
714.
▲
Trustless, provable event ordering in p2p network (e.g. for smart contracts)
github.com/levy
discuss
8 years ago
melevy
2 points
715.
▲
Greenplum provides powerful and rapid analytics on petabyte scale data volumes
github.com/greenplum-db
discuss
8 years ago
mountainview
2 points
716.
▲
Thin provisioned kubernetes vols on GlusterFS
github.com/gluster
discuss
8 years ago
xfactor973
2 points
717.
▲
Provide a mechanism for Django that switching template based on request
github.com/tell-k
discuss
8 years ago
tell-k
2 points
718.
▲
Automated proofs about floating-point numbers using Z3 Theorem Prover in Python
github.com/xennygrimmato
discuss
8 years ago
xenny
2 points
719.
▲
Show HN: Toapi – A library letting any web site provide APIs
github.com/gaojiuli
discuss
9 years ago
gaojiuli
2 points
720.
▲
Managing highly-available etcd clusters on cloud-providers with Terraform and Go
github.com/Quentin-M
discuss
9 years ago
qmachu
2 points
More