zhiayang / lambda
lambda calculus interpreter
☆42Updated 4 years ago
Alternatives and similar repositories for lambda:
Users that are interested in lambda are comparing it to the libraries listed below
- An on going project to learn ELF format.☆38Updated 2 years ago
- The Evi programming language☆16Updated 2 years ago
- The Egel Programming Language☆84Updated last month
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- The Riff programming language☆23Updated last year
- The Knight Programming Language☆70Updated 4 months ago
- Simple Excel engine without any UI☆56Updated 3 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆62Updated 3 years ago
- Implement a Lisp, in C, from scratch, no libs☆81Updated 2 years ago
- A mini language used for the Rabs build system and within Wrapl.☆32Updated this week
- A C library for displaying informative, clean and readable errors☆25Updated last year
- x86_64 brainfuck compiler☆41Updated 10 months ago
- ☆90Updated this week
- A small λ-calculus interpreter in C☆56Updated 10 years ago
- It's 2mpeg4yuv☆19Updated 3 years ago
- Tiny C-like language and compiler☆30Updated 3 years ago
- C17 compiler implementation from scratch☆64Updated last year
- Embedded Lisp☆68Updated last year
- Rewrite of Something from scratch☆57Updated 3 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆64Updated 3 weeks ago
- A high level programming language which compiles to C.☆36Updated 7 months ago
- clex is a simple lexer generator☆95Updated 4 months ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆18Updated 2 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆34Updated 5 years ago
- The Silk Programming Language☆79Updated 3 years ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆61Updated 9 months ago
- The Sharp programming language☆45Updated last month
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- A compiled, statically typed, C-like, data oriented language with a focus on performance and low-level optimization using GPU acceleratio…☆20Updated 4 months ago