zhiayang / lambda
lambda calculus interpreter
☆39Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambda
- The Evi programming language☆17Updated 2 years ago
- The Egel Programming Language☆80Updated last month
- An on going project to learn ELF format.☆39Updated 2 years ago
- Hindley–Milner Type inferencing in C☆49Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- Tiny C-like language and compiler☆27Updated 2 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- A work-in-progess programming language modeled after Ada and C++☆26Updated last year
- A C library for displaying informative, clean and readable errors☆26Updated 8 months ago
- The Riff programming language☆23Updated last year
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆60Updated 3 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆157Updated 2 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆86Updated 4 years ago
- Experimental Rust compiler in pure C.☆12Updated 4 years ago
- Embedded Lisp☆62Updated last year
- The Knight Programming Language☆63Updated 2 weeks ago
- The Silk Programming Language☆79Updated 3 years ago
- An operating system write by me just to have some fun.☆5Updated 4 years ago
- The future of programming.☆70Updated 3 years ago
- Visual tool for basm language☆12Updated 3 years ago
- ☆86Updated this week
- A toy programming language.☆37Updated 10 months ago
- The Melon programming language☆37Updated last year
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- cross-platform falling sand☆17Updated 2 years ago
- Like APL, but with emojis☆16Updated 2 years ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆54Updated last year
- print_f64 implementation purely in assembly without using any 3rd party dependencies including libc, libm, etc.☆10Updated 3 years ago