Show HN
schildep /
verified-3d-mesh-intersection
Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
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
Creative tools✳
Ranked by HN points, not GitHub stars
Show HN
nodes-app /
swift-markdown-engine
I open-sourced a macOS native Markdown rendering engine
Show HN
zpphxd /
whitespace
I Made a Mac Native Excalidraw (Open Sourced)
Show HN
ivancernja /
crate
Crate – Wireless music manager for Android phones (open source)
Jprnp /
pslink-dossier
Debugging why a PlayStation headset dongle freezes all Windows audio
Show HN
waruyama /
flattype-cyd-demo
Full complex text shaping and rendering on ESP32 with 320KB usable RAM
pixel-point /
aval
Aval: New open-source format for interactive video on the web
HeyMeco /
MecoScribe
MecoScribe: FOSS Local Audio Transcription for macOS with Speaker Detection
AARomanov1985 /
Audio-Cassette-Simulation
Simulate cassette tape audio profiles using FFmpeg
tunetank /
tunetank-mcp
MCP for Royalty-Free Music and Sound Effects
Show HN
orelvis15 /
cavs-oss
CAVS – Open-source content-addressable updates for game assets
hgaiser /
moonshine
Moonshine: Lets you stream games from your PC to any device running Moonlight
Show HN
DeepFoldProtein /
patchr
Open-source GUI for editing 3D molecular structures with diffusion
Show HN
abhas9 /
escape-run
I vibe coded a free offline Math game for kids
Show HN
JieGouAI /
choreo
Choreo – an animation DSL that verifies its own rendered output
Show HN
henrygabriels /
binaural-studio
Audio Player with "Binaural Beats" tuned to the same key as your music
jblanked /
Picoware
Open-Source Firmware for PicoCalc/Cardputer/Video Game Module/ESP32/Raspberry
Show HN
stoilms /
odyssey-ebook-michael-caine-elevenlabs-narration
Companion eBook for The Odyssey audiobook narrated by AI Michael Caine