Education●●Solid
Visual Lambda Calculus – a thesis project (2008) revived for the web
Animated visual reduction of lambda terms beats textbook notation, but audience is pure CS academics.
Niche GemWizardryEye Candy
bntr
4993mo ago
Back to browse
GitHub Repository
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
77 starsHaskell
Single file Lambda Calculus' demonstrating various type system features
by solomonb·Apr 15, 2026·1 point·0 comments
AI Analysis
●MidRabbit HoleNiche Gem
Best-practices reference implementations for language designers building type systems.
Strengths
- •Each module standalone and readable independently despite sequential build-up
- •Pretty printers from concrete syntax to human-readable notation included
- •Covers bidirectional typechecking, normalization by evaluation, elaboration
Weaknesses
- •Reference implementations—not a usable tool or library to import
- •Skips parsing for brevity, limiting real-world applicability
Category
Target Audience
Programming language researchers and compiler implementers
Similar To
1lab · Programming Languages Zoo
Similar Projects
Gaming●Mid
![Unreal Engine 5 WebGPU implementation [video]](/screenshots/48024840_thumb.webp)
Unreal Engine 5 WebGPU implementation [video]
UE5 in browser looks slick, but comments report it failing to load for most users.
Eye Candy
astlouis44
201mo ago
Developer Tools●●●Banger
OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
Pure-Rust Lean 4 alternative shipping WASM; 99.24% MathLib4 compatibility proven.
WizardryZero to OneBig Brain
kitasan
213mo ago
AI/ML●●Solid
Codex builds a working NES Emulator in one hour
Codex built a working NES emulator from spec—neat LLM test, but the emulator itself isn't novel.
WizardryBig Brain
zi2zi-jit
643mo ago
Education●Mid
Pushing a naive C++ web server implementation to 9k req/SEC
Standard C++ optimization techniques demonstrated in a YouTube tutorial format.
Big Brain
TDiblik
2016d ago
Developer Tools●●Solid
Logic gates as persistent stateful tasks – a BCD decoder built on a VM
Logic gates as stateful bytecode tasks—elegant model, but narrow use case.
WizardryBig BrainNiche Gem
tracyspacy
203mo ago