kserrec / lambda-core
Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
☆43Updated 2 months ago
Alternatives and similar repositories for lambda-core:
Users that are interested in lambda-core are comparing it to the libraries listed below
- Admiran compiler, library, and examples☆60Updated last week
- 100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks☆30Updated last month
- A functional programming language with shell scripting capabilities☆114Updated 3 months ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆54Updated this week
- Programming with pure lambda calculus☆105Updated last week
- A list of awesome libraries for BQN.☆32Updated 4 months ago
- A tiny lazy objective functional language☆16Updated 7 months ago
- Useful things for Standard ML☆66Updated 6 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- The first ever roguelike written in the OCaml type system☆84Updated 3 weeks ago
- A garden of small programming language implementations 🪴☆221Updated this week
- A general purpose statically-typed concatenative programming language.☆54Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- A compilation of BQN solutions to various coding challenges.☆12Updated last week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆111Updated 4 months ago
- The adventures of a Haskell compiler☆225Updated 4 months ago
- Standard ML of New Jersey☆206Updated last week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code …☆57Updated 11 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆124Updated 4 years ago
- My slides and compilation of resources.☆152Updated 7 months ago
- Parser Combinators of Monad☆35Updated 4 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- ☆85Updated this week
- ☆53Updated last week
- an implementation of stuck macros☆139Updated last month
- A collection of programming languages and type systems.☆33Updated 8 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆14Updated 7 months ago
- An embeddable flow-oriented language.☆70Updated last month
- SKI combinators☆54Updated 7 years ago