A developer created a complete implementation of RealWorld, the Medium-clone reference application used to benchmark full-stack frameworks, using only Lean 4, a functional language best known as a proof assistant. The project includes a server, database integration, and frontend rendering, and passes RealWorld's official API and website test suites. The frontend uses a library called datastar-lean for interactivity, and the full source code is published on GitHub.
leangineer.com
· 2026-10-14
A data structures exercise to evaluate arithmetic expressions like 1+1+1 using a binary tree led one developer to build a full evaluator in C. The project expanded to include closures, a garbage collector, a custom memory allocator, a REPL, and a foreign function interface, dubbed graphLang. The author generalized arithmetic operators into a single function-application abstraction rather than separate cases for Add, Sub, Mul, and Div.
hereticpleb.vercel.app
· 2026-09-29
A developer released AttaLambda, a small experimental programming language whose core computation is built purely from unary functions and application in untyped lambda calculus. It layers on readable syntax, exact rational number support, and runtime type checks, while keeping input and output handled through a separate host boundary.
attalambda.com
· 2026-09-14
GoKawiil