Show HN
astrio-labs /
forall
Forall – Spec-driven AI coding with formal verification
好代码，值得被发现。
下一个
宝藏项目.
开源项目、精巧工具，还有让人眼前一亮的点子。
从 Hacker News 社区讨论中，找到你的下一份灵感。
Y社区的眼光，你的好奇心。无付费推荐。
2,872独立仓库
4,114Show HN 帖子¹
3,330GitHub 外链¹
2026 年 7 月快照
社区发现的互联网一角
值得多看一眼✳
按 HN 分数排序，非 GitHub Star 数
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