AttaLambda
A small programming language built on pure, untyped lambda calculus
Visit attalambda.com ↗What is AttaLambda?
AttaLambda is a Lisp-shaped language where all computation derives from untyped lambda calculus—including logic, arithmetic, data structures, control flow, and types themselves. It provides readable syntax, exact rational arithmetic using binary digit-list encodings, and runtime type checks. The maker reports using AI coding agents to help develop it into a usable tool.
The language is designed for exploring lambda calculus beyond introductory examples. A minimal Racket layer handles I/O and host interaction, while macros add syntactic convenience. It targets developers and students interested in functional programming foundations and language design.
Momentum
Daily activity over the last 30 days: upvotes, unique visits, new GitHub stars and Hacker News points.
How do we know it's vibe coded?
vibetrend discovered AttaLambda automatically. Evidence: HN post: "why not turn this into a real usable language with the help of coding agents?". View source.
Similar vibe-coded apps
Learn AI-powered coding by cloning Google, YouTube, Twitter, Reddit, and Amazon
Find Spanish poems matched to your grammar learning level
Spaced-repetition trainer for systems performance and cost napkin-math numbers
Interactive tool for exploring scales, chords, and harmony across instruments
Math language that compiles to C, Python, Verilog, and Lean theorems