kserrec / lambda-coreLinks
Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
☆49Updated 11 months ago
Alternatives and similar repositories for lambda-core
Users that are interested in lambda-core are comparing it to the libraries listed below
Sorting:
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated last week
- 100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks☆32Updated 10 months ago
- An implementation of the Lox language in Racket.☆37Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- Fir programming language☆91Updated this week
- Programming with pure lambda calculus☆140Updated last month
- A functional programming language with shell scripting capabilities☆130Updated last month
- A garden of small programming language implementations 🪴☆306Updated this week
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Updated 5 months ago
- The first ever roguelike written in the OCaml type system☆94Updated 9 months ago
- A tiny lazy objective functional language☆19Updated last year
- A list of awesome libraries for BQN.☆32Updated 4 months ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆69Updated 4 months ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- ☆235Updated 5 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆213Updated last year
- A native and a cross platform guide for BQN array programming language☆60Updated last year
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆41Updated this week
- My slides and compilation of resources.☆158Updated last year
- Parser Combinators of Monad☆39Updated 5 years ago
- deployment for smlhelp page☆43Updated 7 months ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 4 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆76Updated last year
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆148Updated 2 years ago
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆339Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆418Updated this week
- Standard ML of New Jersey☆231Updated last week
- ☆123Updated 2 weeks ago