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:
- Quick explanation of eliminating left recursion in Haskell parsers☆57Updated 4 years ago
- A simple Prolog interpreter☆42Updated 4 years ago
- theseus, functional programming language with fully reversible computation☆125Updated 6 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- A continuation-based backtracking logic programming monad☆93Updated last year
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- Source code for haskle.net☆30Updated 2 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
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Strategy game in Haskell (PRs: )☆50Updated 5 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Free ideas, worth every penny☆33Updated 5 years ago
- ☆45Updated 2 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆62Updated 2 years ago
- Functional teaching language for use in a discrete mathematics course☆179Updated 3 weeks ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated last week
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 4 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A git-compatible content tracker in Haskell.☆67Updated 6 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Slides & demos for talks I do☆58Updated 3 months ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆98Updated last year
- My Github pages website☆77Updated last month
- Yet another … yet another recursion scheme library for Haskell☆89Updated this week