clark800 / lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
☆71Updated 7 months ago
Related projects: ⓘ
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆61Updated 3 months ago
- The Egel Programming Language☆80Updated this week
- A simple programming language targeting LLVM☆64Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆70Updated 4 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 4 years ago
- ☆36Updated 6 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- Sinister's Scheme Compiler!☆24Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆86Updated 5 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- Simple and powerful programming language with type inference☆24Updated 7 years ago
- A WIP little dependently-typed systems language☆37Updated last month
- ☆37Updated this week
- Charity Programming Language☆37Updated 9 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- ☆14Updated this week
- The Kuljet language☆26Updated 3 years ago
- An esoteric RPN golfing language☆24Updated 2 years ago
- single file scheme interpreter with tail call optimization☆82Updated 5 years ago
- Hindley-Milner type inference using constraints☆48Updated 7 years ago
- A simple concurrent programming language.☆22Updated 3 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- The Caml Light implementation of the Caml language☆59Updated last year
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆68Updated 7 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A toy programming language.☆37Updated 8 months ago
- ☆25Updated this week
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago