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:
- Kempe is a compiled stack-based language☆58Updated last year
- Quick explanation of eliminating left recursion in Haskell parsers☆57Updated 4 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- Javascript DOM bindings for Idris2☆52Updated last month
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆61Updated 2 years ago
- A magic typeclass that just does it☆125Updated 3 years ago
- A continuation-based backtracking logic programming monad☆92Updated last year
- A simple Prolog interpreter☆42Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Make a lambda calculus.☆87Updated 5 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Slides & demos for talks I do☆58Updated last month
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆97Updated 11 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 10 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 2 months ago
- Absal ex☆58Updated 2 years ago
- A structured concurrency library☆85Updated 8 months ago
- Strategy game in Haskell (PRs: )☆50Updated 5 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- The LC3 virtual machine☆24Updated 11 months ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- Source code for haskle.net☆30Updated 2 years ago
- A PureScript interpreter in Haskell☆121Updated 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☆216Updated 2 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆135Updated last week
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago