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:
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- Slides & demos for talks I do☆58Updated 3 months ago
- Source code for haskle.net☆30Updated 2 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆57Updated 4 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Javascript DOM bindings for Idris2☆53Updated 2 months ago
- Free ideas, worth every penny☆33Updated 5 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- theseus, functional programming language with fully reversible computation☆125Updated 6 years ago
- A structured concurrency library☆86Updated 10 months ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- Keep your laziness in check!☆35Updated last week
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- Add early return to any do-expression☆47Updated 4 years ago
- Haskell bindings for the Souffle datalog language☆104Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆31Updated 11 months ago
- Strategy game in Haskell (PRs: )☆50Updated 5 years ago
- ☆41Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- A library for building bots compositionally.☆48Updated 9 months ago
- Build system☆131Updated 2 months ago
- Extensible records for Idris☆25Updated 4 years ago