kciray8 / zerolambdaLinks
100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
☆29Updated 4 months ago
Alternatives and similar repositories for zerolambda
Users that are interested in zerolambda are comparing it to the libraries listed below
Sorting:
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated last week
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆43Updated 5 months ago
- Я - extremely composable embeddable programming language☆67Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆117Updated 7 months ago
- Programming with pure lambda calculus☆111Updated 3 weeks ago
- Haskell Tiny Game Jam☆167Updated last year
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆62Updated last month
- A native and a cross platform guide for BQN array programming language☆58Updated last year
- Learn me a Haskell, finally. (And you can too!)☆48Updated 10 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 9 months ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆142Updated last year
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆23Updated last week
- Informal collection of BQN utilities☆57Updated 2 weeks ago
- A garden of small programming language implementations 🪴☆272Updated last week
- ☆100Updated last month
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Updated 2 months ago
- A list of awesome libraries for BQN.☆32Updated 7 months ago
- My slides and compilation of resources.☆154Updated 10 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆40Updated 6 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆130Updated last year
- A categorical programming language with effects☆282Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆60Updated 6 months ago
- Source material for Certainty by Construction☆43Updated last year
- Source material for Algebra-Driven Design☆151Updated last year
- Code challenges to solve with Haskell☆159Updated 3 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆109Updated this week
- An automated tutorial to teach you about Haskell!☆177Updated 2 years ago
- Purescript compiler back-end for Lua☆56Updated 2 months ago
- Online REPL for BQN☆34Updated last year