Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
211.
OpenFlops: Open-Hardware Floppy Drive Simulator (github.com/SukkoPera)
2 points
harporoeder
6 years ago
discuss
212.
Harlan: A scheme like language for GPU computing (github.com/eholk)
2 points
harporoeder
6 years ago
discuss
213.
Toxiproxy A TCP proxy to simulate network conditions for chaos testing (github.com/Shopify)
2 points
harporoeder
6 years ago
discuss
214.
Hakaru a Probabilistic Programming Language (github.com/hakaru-dev)
2 points
harporoeder
6 years ago
discuss
215.
Sixten: Functional Programming with Fewer Indirections (github.com/ollef)
2 points
harporoeder
6 years ago
discuss
216.
Future-proof and simple-to-use notes system based on Zettelkasten (github.com/srid)
2 points
harporoeder
6 years ago
discuss
217.
Allow running dockerd as a non-root user (Rootless mode) [merged] (github.com/moby)
2 points
harporoeder
7 years ago
discuss
218.
GHC proposal for Linear Types (github.com/tweag)
2 points
harpocrates
9 years ago
discuss
219.
A basic blockchain project that allows automatic peer discovery (github.com/TheDhejavu)
1 point
hayodeji
6 years ago
1 comment
220.
Show HN: Bowlcut – a JavaScript library for warping SVG text (github.com/pollinate)
1 point
hypothete
8 years ago
1 comment
221.
NixPak – Sandboxing for Nix (github.com/nixpak)
1 point
harporoeder
2 years ago
discuss
222.
Tube Archivist: self hosted YouTube media server (github.com/tubearchivist)
1 point
harporoeder
3 years ago
discuss
223.
Carge-crev: A cryptographically verifiable code review system for Rust (github.com/crev-dev)
1 point
harporoeder
4 years ago
discuss
224.
Mokuroku: Secondary indices for RocksDB in Rust (github.com/nlfiedler)
1 point
harporoeder
4 years ago
discuss
225.
Creusot: Deductive Verification of Rust (github.com/xldenis)
1 point
harporoeder
4 years ago
discuss
226.
Fragnix: Fragment Based Package Manager (github.com/fragnix)
1 point
harporoeder
4 years ago
discuss
227.
Youki: A container runtime written in Rust (github.com/containers)
1 point
harporoeder
5 years ago
discuss
228.
Demonstrate ability to read memfd_secret() data from the kernel (github.com/JonathonReinhart)
1 point
harporoeder
5 years ago
discuss
229.
SSDB – A fast NoSQL database, an alternative to Redis (github.com/ideawu)
1 point
harporoeder
5 years ago
discuss
230.
Move cgroup v2 out of experimental (github.com/moby)
1 point
harporoeder
5 years ago
discuss
231.
Linux/Jiffies.h (github.com/torvalds)
1 point
harporoeder
5 years ago
discuss
232.
Framebuffer UI (fbui) in-kernel Linux windowing system (github.com/8l)
1 point
harporoeder
5 years ago
discuss
233.
Blocky archive: Archiving utility with forward error correction in Rust (github.com/darrenldl)
1 point
harporoeder
5 years ago
discuss
234.
Sysbox Container Runtime (github.com/nestybox)
1 point
harporoeder
6 years ago
discuss
235.
Docker lock: Manage image digests by tracking them in a separate Lockfile (github.com/safe-waters)
1 point
harporoeder
6 years ago
discuss
236.
SoniControl an Ultrasonic Firewall (github.com/fhstp)
1 point
harporoeder
6 years ago
discuss
237.
Lambda shell – Run sh commands inside AWS Lambda environment (github.com/alestic)
1 point
harporoeder
6 years ago
discuss
238.
GeneticGo Genetic problem solver written in Go (github.com/handcraftsman)
1 point
harporoeder
6 years ago
discuss
239.
Tiled a Flexible Level Editor (github.com/bjorn)
1 point
harporoeder
6 years ago
discuss
240.
JQuery Waypoints - execute a function whenever you scroll to an element (imakewebthings.github.com)
196 points
moeffju
15 years ago
26 comments
More