kserrec / lambda-core
Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
☆41Updated last month
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 2 weeks ago
- A functional programming language with shell scripting capabilities☆114Updated 3 months ago
- A garden of small programming language implementations 🪴☆220Updated this week
- A tiny lazy objective functional language☆16Updated 6 months ago
- Programming with pure lambda calculus☆104Updated 2 weeks ago
- A list of awesome libraries for BQN.☆32Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆54Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆53Updated this week
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆110Updated 3 months ago
- Standard ML of New Jersey☆204Updated this week
- Trying to write an understandable implementation of Haskell, in Haskell☆124Updated 4 years ago
- My slides and compilation of resources.☆152Updated 7 months ago
- ☆59Updated last year
- Useful things for Standard ML☆65Updated 5 months ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 3 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- Haskell implemented with combinators☆458Updated this week
- A bidirectional type checker☆62Updated 7 years ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆26Updated last year
- Just a list of Awesome Alt Langs to check out☆98Updated 11 months ago
- ☆113Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months ago
- deployment for smlhelp page☆39Updated last week
- A collection of programming languages and type systems.☆33Updated 7 months ago
- an implementation of stuck macros☆139Updated 2 weeks ago
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated last week