femtolisp: A lightweight, robust, scheme-like Lisp implementation(github.com)132 points by tosh 8 months ago | 15 comments
Show HN: Formalizing Principia Mathematica using Lean(github.com)174 points by ndrwnaguib 1 year ago | 32 comments
JSON River – Parse JSON incrementally as it streams in(github.com)223 points by rickcarlino 1 year ago | 86 comments
Show HN: Klavis AI – Open-source MCP integration for AI applications(github.com)66 points by wirehack 1 year ago | 47 comments
Show HN: Emdash – Open-source agentic development environment(github.com)191 points by onecommit 8 months ago | 66 comments
Show HN: I built a tool to un-dumb Claude Code's CLI output (Local Log Viewer)(github.com)57 points by matt1398 8 months ago | 39 comments
