evinism / lambda-explorerLinks
Tutorial / REPL for the lambda calculus
☆66Updated 10 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:
- A simple Prolog interpreter☆42Updated 3 years ago
- Javascript DOM bindings for Idris2☆53Updated last month
- 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
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Absal ex☆58Updated last year
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆41Updated 5 months ago
- Build system☆124Updated last year
- Kempe is a compiled stack-based language☆58Updated 10 months ago
- Visualize live Haskell data structures in GHCi☆139Updated last year
- Functional teaching language for use in a discrete mathematics course☆170Updated 2 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Haskell bindings for the Souffle datalog language☆105Updated last year
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated 2 weeks ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- A magic typeclass that just does it☆124Updated 3 years ago
- Free ideas, worth every penny☆33Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Grow procedual art☆37Updated 5 months ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago