Show HN
schildep /
verified-3d-mesh-intersection
形式化验证的 3D CSG：以 93 行规范验证 AI 生成代码
好代码，值得被发现。
下一个
宝藏项目.
开源项目、精巧工具，还有让人眼前一亮的点子。
从 Hacker News 社区讨论中，找到你的下一份灵感。
Y社区的眼光，你的好奇心。无付费推荐。
2,872独立仓库
4,114Show HN 帖子¹
3,330GitHub 外链¹
2026 年 7 月快照
社区发现的互联网一角
创意工具✳
按 HN 分数排序，非 GitHub Star 数
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