evinism / lambda-explorerLinks
Tutorial / REPL for the lambda calculus
☆67Updated last year
Alternatives and similar repositories for lambda-explorer
Users that are interested in lambda-explorer are comparing it to the libraries listed below
Sorting:
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- Quick explanation of eliminating left recursion in Haskell parsers☆57Updated 4 years ago
- theseus, functional programming language with fully reversible computation☆126Updated 6 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- Extensible records for Idris☆25Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 2 weeks ago
- A simple Prolog interpreter☆42Updated 4 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆62Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated last year
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Absal ex☆58Updated 2 years ago
- Build system☆134Updated 3 months ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- Idris port of Haskell's sop-core library☆37Updated 5 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆98Updated last year
- Source code for haskle.net☆30Updated 2 years ago
- A bidirectional type checker☆67Updated 8 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- A magic typeclass that just does it☆126Updated 3 years ago
- Focused domain model declaration toolkit for Haskell☆49Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Type-safe data versioning.☆98Updated 3 weeks ago
- Strategy game in Haskell (PRs: )☆50Updated 6 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 11 months ago
- A nano "theorem prover".☆62Updated 6 years ago