Show HN
astrio-labs /
forall
Forall – Spec-driven AI coding with formal verification
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
Show HN
codewiththiha /
OpenSlides
OpenSlides – Open-source desktop app for animated code presentations
Show HN
rejourneyco /
rejourney
Rejourney – Open-source revenue leak prediction for web and mobile apps
Show HN
Gusto /
baerly-storage
Baerly-storage, a document DB that runs per request, no DB server
Show HN
rafal-qa /
slopo
CLI tool for detecting non-exact code duplication with embedding models
Show HN
alex-w-developer /
GetBlocked
I made a tool that prevents websites from tracking you
Show HN
logxio /
picchio
Same model, same Q4_K_M label: 5.02, 5.07 and 5.27 bits per weight
Show HN
sqliteai /
waste
Run Full Kimi K3 with 29 GB of RAM
Show HN
Faultsense /
faultsense-agent
An assertion library for E2E testing and real user monitoring
Show HN
matt0x6F /
irc-client
Cascade Chat – A Hackable IRCv3 Client for macOS, Windows, and Linux
Show HN
apresta /
max-studio-tools
Max Studio Tools – C++ DSP Modules for Max and Ableton Live
alxndrTL /
little-book-rl
The Little Book of Reinforcement Learning
xai-org /
grok-build
Grok Build Is OSS
Show HN
xatuke /
wrapper
Wrapper – Best Ever Agent Manager
genesisdb-io /
genesisdb-orchestrator
A small CLI for running isolated GenesisDB containers behind one HTTPS proxy
turtlesoupy /
robloquake
Robloquake: Porting the Quake Engine to Roblox
Michael-Manning /
E-Paper-Climate-Logger
Weathergotchi – an open-source climate Tamagotchi
Show HN
AlmanacCode /
codealmanac
CodeAlmanac – Karpathy-style codebase wiki from your conversations