kciray8 / zerolambdaLinks
100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
☆30Updated 2 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 3 months ago
- Я - extremely composable embeddable programming language☆56Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆116Updated 5 months ago
- Purescript compiler back-end for Lua☆56Updated last month
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆59Updated this week
- A list of awesome libraries for BQN.☆32Updated 6 months ago
- Learn me a Haskell, finally. (And you can too!)☆48Updated 9 months ago
- Parser Combinators of Monad☆37Updated 4 years ago
- A tiny lazy objective functional language☆17Updated 8 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆40Updated 4 months ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated 2 weeks ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- ☆43Updated 3 years ago
- A native and a cross platform guide for BQN array programming language☆58Updated 10 months ago
- The first ever roguelike written in the OCaml type system☆88Updated 2 months ago
- Asynchronous and concurrent computations in Idris2☆17Updated last month
- A toy dependent typed language.☆29Updated 2 weeks ago
- A curated list of awesome functional programming jobs.☆67Updated 6 months ago
- Ocaml mode for emacs using treesitter☆16Updated 9 months ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆44Updated last year
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Updated 3 weeks ago
- Compositional Representable Executable Machines☆117Updated 6 months ago
- A desktop app companion to the UCM CLI☆48Updated last month
- Code and materials for my book "Pragmatic Type Level Design"☆131Updated last month
- ☆58Updated last year
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆11Updated 6 months ago
- A shell prompt with infinite customization☆39Updated 11 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆127Updated last year
- ☆119Updated 3 months ago