thedevilhimselfcodes /
CertAlloc
CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC
GOOD CODE. GREAT DISCOVERIES.
Your next
rabbit hole.
Open-source projects. Clever little tools. Big ideas.
Unearthed from the Hacker News community.
YCommunity signal. Human curiosity.No paid placements.
2,872unique repositories
4,114Show HN stories¹
3,330GitHub links¹
July 2026 snapshot
THE COMMUNITY’S CORNER OF THE INTERNET
Worth a closer look✳
Ranked by HN points, not GitHub stars
chattocorp /
chatto
Chattocorp/chatto: A good chat application that you can self-host
Show HN
sm18lr88 /
STT-MCP
STT-MCP – local STT for agents
Show HN
0hardik1 /
awsmux
Awsmux – Multi-account AWS CLI, up to 5.4x faster, 7.4x fewer tokens
Show HN
hsandhu /
serve-avd
Stream Android Emulators to a Browser Window
Show HN
hamzamansoorch /
envcontract
Envcontract – Validate your .env and never commit a secret (100% local)
Show HN
Kanchisaw03 /
axiom
a Rust OS kernel built for LLM inference
sene1337 /
aiaio
Agents in Amnesia (AIAIO) – the game that teaches you about how you use AI
Litenova-Solutions /
Fuse
Fuse – an open source MCP/CLI tool to speed up Claude Code on C# codebases
josharsh /
pixelpi
A minimal browser agent built on the accessibility tree
SyntaxError2505 /
jlook
Jlook – a pipeable way to turn efficient API JSON into readable code
Show HN
carnworkstudios /
boxwood
I built a declarative layout engine for SVG, Canvas, WebGL
logseq /
logseq
Logseq 2.0 Beta (DB version) is here
Show HN
analyticalmonk /
explain-this
Explain this – agent skills to create HTML explainer for topics or code
Show HN
AgentBull /
ankole
Ankole – Claude Tag open source alternative
Show HN
fellowgeek /
in-meeting
In Meeting – A native macOS Mic/Cam observer for home automation
NaiaLorente /
GoViral-Tiktok
TikTok Viral Score – deterministic scoring engine, no login required
emergingrobotics /
gowyoming
PineVoice – Golang Wyoming Protocol