Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
181.
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com/solomon-b)
3 points
birdculture
2 months ago
discuss
182.
Project N.o.m.a.d (github.com/Crosstalk-Solutions)
3 points
geerlingguy
3 months ago
discuss
183.
GPTuner: GPTuner is a manual-reading database tuning system leveraging domain k (github.com/SolidLao)
3 points
todsacerdoti
a year ago
discuss
184.
Meetily-A free and open source AI-Powered Meeting Assistant (github.com/Zackriya-Solutions)
3 points
dieselniu
a year ago
discuss
185.
Build AI agent for PR reviews – Full code (github.com/Pravko-Solutions)
3 points
galgia
a year ago
discuss
186.
Solid Model Browser (github.com/questfulcat)
3 points
javatuts
2 years ago
discuss
187.
Solana Pay – A new standard for decentralized payments (github.com/solana-labs)
3 points
maydemir
4 years ago
discuss
188.
UniK – The Unikernel and MicroVM Compilation and Deployment Platform (github.com/solo-io)
3 points
peter_d_sherman
5 years ago
discuss
189.
Solar panel detection using ML (github.com/Lkruitwagen)
3 points
leptoniscool
5 years ago
discuss
190.
Solidity Cheatsheet (github.com/manojpramesh)
3 points
mox111
5 years ago
discuss
191.
An Operating System for Solid (github.com/solid)
3 points
rapnie
5 years ago
discuss
192.
Constraint Programming with MiniZinc and Phoenix/LiveView (github.com/bokner)
3 points
dattl
5 years ago
discuss
193.
Show HN: Automatic Cryptocurrency price publishing to social networks (github.com/nevermind-solutions)
3 points
gbourne
6 years ago
discuss
194.
Awesome Flutter (github.com/Solido)
3 points
boshomi
7 years ago
discuss
195.
Gloo – Envoy API Proxy (github.com/solo-io)
3 points
naeemarsalan
7 years ago
discuss
196.
New OOP JS framework: Methadone (github.com/benchmark-solutions)
3 points
flavorjones
15 years ago
discuss
197.
Squash: A Debugger for Microservices (github.com/solo-io)
3 points
SriniK
7 years ago
discuss
198.
Sol Journal: open-source, personal journaling platform (github.com/gillkyle)
3 points
kylegill
7 years ago
discuss
199.
A Python front end for solid modelling that compiles to OpenSCAD (github.com/SolidCode)
3 points
doublextremevil
7 years ago
discuss
200.
Roadmap to becoming a SOLID developer in 2019 (github.com/LearnSolid)
3 points
inetsee
7 years ago
discuss
201.
Show HN: Easy State: Practical, Minimalistic State Management for ReactJS (github.com/solkimicreb)
3 points
miklosbertalan
7 years ago
discuss
202.
The future of service mesh (github.com/solo-io)
3 points
ilevine
7 years ago
discuss
203.
SuperGloo: open-source project to manage and orchestrate service meshes at scale (github.com/solo-io)
3 points
ingve
7 years ago
discuss
204.
Open-Source CUDA/OpenCL Speed of Light Ray-Tracer (github.com/favreau)
3 points
cyrille_favreau
8 years ago
discuss
205.
Show HN: Debug a live Kubernetes pod through VSCode (github.com/solo-io)
3 points
ilevine
9 years ago
discuss
206.
Show HN: Quick fix for unwanted duplicate history entries in web apps (GitHub) (github.com/solkimicreb)
3 points
thenewestkid
9 years ago
discuss
207.
Show HN: IntelliJ Solidity – IntelliJ plugin for developing smart contracts (github.com/intellij-solidity)
3 points
SerCe
9 years ago
discuss
208.
Sfs: OpenStack Swift API and Haystack Distributed Object Storage (github.com/pitchpoint-solutions)
3 points
P4Awd
9 years ago
discuss
209.
Solium- a customizable Linter for Ethereum's Solidity (github.com/duaraghav8)
3 points
theMadKing
10 years ago
discuss
210.
Show HN: Threadsafe Postgres interface using Grand Central (github.com/solidsnack)
3 points
solidsnack9000
10 years ago
discuss
More