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☆52Updated last month
- A simple Prolog interpreter☆42Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- Absal ex☆58Updated 2 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆97Updated last year
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 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
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆57Updated 4 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Free ideas, worth every penny☆33Updated 5 years ago
- Source code for haskle.net☆30Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- Slides & demos for talks I do☆58Updated 2 months ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 2 weeks ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 11 months ago
- ☆41Updated 2 years ago
- Strategy game in Haskell (PRs: )☆50Updated 5 years ago
- Idris Todo web application example☆41Updated 2 years ago
- ☆45Updated 2 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Keep your laziness in check!☆35Updated 2 months ago
- A nano "theorem prover".☆62Updated 6 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- GRIN backend for Idris☆50Updated 5 years ago