hax: A Rust verification tool
github.com
2026-06-11 06:27:09
#rust
#formalmethods
#code
#new
I was tired of repos that say they run but don't
github.com
2026-06-11 00:23:04
#code
#new
Steady Hand EEPROM Programmer
codeberg.org
2026-06-10 23:19:18
#hardware
#code
#new
ITScape: Guest-to-Host Escape in KVM/arm64
github.com
2026-06-10 19:00:36
#security
#linux
#code
#new
Babel-USB: USB drive with every file
github.com
2026-06-10 16:28:30
#code
#new
Show HN: HelixDB – A graph database built on object storage
github.com
2026-06-10 15:47:31
#code
#new
Show HN: Ustps (UDP Speedy Transmission Protocol Secure) and USSH
github.com
2026-06-08 23:00:04
#code
#new
Postgres by Example
github.com
2026-06-10 16:05:06
#code
#new
Notepad++ Zero-Click RCE via Path Traversal (CVE-2026-52884)
github.com
2026-06-10 09:28:40
#code
#new
#cve
Show HN: macOS menu bar gauges for your Claude Code quota
github.com
2026-06-10 09:43:16
#code
#new
Port React Compiler to Rust
github.com
2026-06-10 09:19:55
#code
#new
macOS Container Machines
github.com
2026-06-10 00:29:01
#code
#new
#docs
Show HN: Nucleus – A security-hardened, Nix-native container runtime
github.com
2026-06-09 23:03:40
#code
#new
#security
Exif Smuggling
github.com
2026-06-09 21:06:00
#code
#new
Blaise v0.10.0: Native Back End, Threads and Incremental Compilation
github.com
2026-06-08 12:55:01
#code
#new
Rayforce
github.com
2026-06-06 19:01:32
#code
#new
Show HN: Learn from 30 historical figures, open source, nonprofit, self-hosted
github.com
2026-06-09 11:56:25
#code
#new
SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
github.com
2026-06-06 01:49:18
#code
#new
Show HN: Mach – A compiled systems language looking for contributions
github.com
2026-06-08 23:05:20
#code
#new
Show HN: Courtside – TUI for NBA Games
github.com
2026-06-05 23:43:04
#code
#new
SoulsOnly.tff – A font for humans not AI and keyboard firmware to type in it
github.com
2026-06-08 14:00:22
#code
#new
Zig by Example
github.com
2026-06-08 13:06:19
#code
#new
Release Fil-C Linux/x86_64 version 0.679 · pizlonator/fil-c
github.com
2026-06-08 13:13:16
#c
#release
#code
#new
zalloc: Use zig allocators in your c code
github.com
2026-06-08 10:07:25
#c
#zig
#code
#new
Show HN: Transit-format (JSON/MessagePack) reader/writer in C
github.com
2026-06-08 09:35:56
#code
#new
<
45 / 496
>