thedevilhimselfcodes /
CertAlloc
CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC
好代码，值得被发现。
下一个
宝藏项目.
开源项目、精巧工具，还有让人眼前一亮的点子。
从 Hacker News 社区讨论中，找到你的下一份灵感。
Y社区的眼光，你的好奇心。无付费推荐。
2,872独立仓库
4,114Show HN 帖子¹
3,330GitHub 外链¹
2026 年 7 月快照
社区发现的互联网一角
值得多看一眼✳
按 HN 分数排序，非 GitHub Star 数
chattocorp /
chatto
Chattocorp/chatto: A good chat application that you can self-host
Show HN
sm18lr88 /
STT-MCP
STT-MCP – local STT for agents
Show HN
0hardik1 /
awsmux
Awsmux – Multi-account AWS CLI, up to 5.4x faster, 7.4x fewer tokens
Show HN
hsandhu /
serve-avd
Stream Android Emulators to a Browser Window
Show HN
hamzamansoorch /
envcontract
Envcontract – Validate your .env and never commit a secret (100% local)
Show HN
Kanchisaw03 /
axiom
a Rust OS kernel built for LLM inference
sene1337 /
aiaio
Agents in Amnesia (AIAIO) – the game that teaches you about how you use AI
Litenova-Solutions /
Fuse
Fuse – an open source MCP/CLI tool to speed up Claude Code on C# codebases
josharsh /
pixelpi
A minimal browser agent built on the accessibility tree
SyntaxError2505 /
jlook
Jlook – a pipeable way to turn efficient API JSON into readable code
Show HN
carnworkstudios /
boxwood
I built a declarative layout engine for SVG, Canvas, WebGL
logseq /
logseq
Logseq 2.0 Beta (DB version) is here
Show HN
analyticalmonk /
explain-this
Explain this – agent skills to create HTML explainer for topics or code
Show HN
AgentBull /
ankole
Ankole – Claude Tag open source alternative
Show HN
fellowgeek /
in-meeting
In Meeting – A native macOS Mic/Cam observer for home automation
NaiaLorente /
GoViral-Tiktok
TikTok Viral Score – deterministic scoring engine, no login required
emergingrobotics /
gowyoming
PineVoice – Golang Wyoming Protocol