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:
- Quick explanation of eliminating left recursion in Haskell parsers☆51Updated 3 years ago
- Javascript DOM bindings for Idris2☆53Updated last month
- A simple Prolog interpreter☆42Updated 3 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Build system☆124Updated last year
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Free ideas, worth every penny☆32Updated 4 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 6 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated this week
- A beginner's guide to Haskell optimization☆64Updated 7 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 3 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 2 months ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆130Updated last year
- ☆34Updated last month
- GRIN backend for Idris☆50Updated 5 years ago
- My Github pages website☆76Updated 6 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- A structured concurrency library☆85Updated 5 months ago
- ☆44Updated 2 years ago
- A continuation-based backtracking logic programming monad☆91Updated 8 months ago
- Extensible records for Idris☆25Updated 4 years ago
- Source code for haskle.net☆30Updated last year
- All the Transient libraries☆41Updated 3 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago