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)
Show HN
waruyama /
flattype-cyd-demo
Full complex text shaping and rendering on ESP32 with 320KB usable RAM
Show HN
orelvis15 /
cavs-oss
CAVS – Open-source content-addressable updates for game assets
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
Show HN
stoilms /
odyssey-ebook-michael-caine-elevenlabs-narration
Companion eBook for The Odyssey audiobook narrated by AI Michael Caine
Show HN
b-aaz /
bmake-extravaganza
Mandelbrot set renderer written in pure [BSD] Makefiles
Show HN
bitofabluetit /
knotreel
1d data to 3D topology, AI deepfakes to protien folding
Show HN
vifudotdev /
vifu
Vifu – A runtime and visual workflow for building AI-native games
Show HN
adam-s /
car-diagnosis
Classify mechanical faults using Contrastive Language-Audio Pretraining
Show HN
andrewfader /
crtulum
a Rust, Wayland, Vulkan 3D CRT, screencast application, retroarch cores
Show HN
Kjos /
VideoTomb
Encryption for YouTube Videos++
Show HN
omar-owis /
VoxelEngine
A GPUdriven voxel engine with binary greedy meshing & indirectrendering