evinism / lambda-explorerLinks
Tutorial / REPL for the lambda calculus
☆66Updated 9 months ago
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☆52Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated this week
- ☆41Updated last year
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A tool to make solving type errors in Haskell simple and fun.☆37Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆51Updated 3 years ago
- ☆12Updated 4 years ago
- Strategy game in Haskell (PRs: )☆51Updated 5 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆41Updated 4 months ago
- My Github pages website☆76Updated 5 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- high-powered optics in a small package☆53Updated 9 months ago
- ☆44Updated 2 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆104Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- All the Transient libraries☆41Updated 3 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 7 years ago
- Kempe is a compiled stack-based language☆58Updated 9 months ago
- Source material for Certainty by Construction☆43Updated last year
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆96Updated 7 months ago
- A structured concurrency library☆85Updated 4 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Kotlin-backend for PureScript☆80Updated 3 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago