clark800 / lambda-zeroLinks
minimalist pure lazy functional programming language (pythonic haskell)
☆78Updated 3 months ago
Alternatives and similar repositories for lambda-zero
Users that are interested in lambda-zero are comparing it to the libraries listed below
Sorting:
- Charity Programming Language☆40Updated 10 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- The Egel Programming Language☆84Updated last month
- A self-hosting mini Haskell compiler with a mini C runtime.☆75Updated 5 years ago
- The adventures of a Haskell compiler☆226Updated last month
- An interpreter for a J-inspired language☆91Updated last year
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- A website for the #proglangdesign community on freenode☆108Updated 2 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆64Updated 4 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Plasma Programming Language☆166Updated 2 months ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- ☆26Updated last year
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- A simple programming language targeting LLVM☆65Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- The Kuljet language☆25Updated 4 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆159Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago