kciray8 / zerolambdaLinks
100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
☆30Updated 3 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 4 months ago
- Purescript compiler back-end for Lua☆56Updated last month
- Learn me a Haskell, finally. (And you can too!)☆48Updated 9 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆116Updated 6 months ago
- Я - extremely composable embeddable programming language☆67Updated this week
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated last month
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆22Updated this week
- Imagine a Dependently Typed Python☆11Updated 2 months ago
- ☆44Updated 2 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- A desktop app companion to the UCM CLI☆48Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- A list of awesome libraries for BQN.☆32Updated 6 months ago
- A curated list of awesome functional programming jobs.☆68Updated 2 weeks ago
- A tiny lazy objective functional language☆17Updated 9 months ago
- ☆58Updated last year
- ☆21Updated last month
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 6 months ago
- Haskell + Scotty example RealWorld API implementation for https://realworld.io☆27Updated 5 months ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- A shell prompt with infinite customization☆39Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Competitive programming utilities in Haskell☆37Updated 5 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- Adventures in being functional.☆9Updated 3 years ago
- Interactive holes for Lean 4☆22Updated last year
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆62Updated 3 weeks ago
- ☆43Updated 3 years ago
- A toy dependent typed language.☆29Updated last week