0x0f0f0f / yasih
Yet another Scheme implemented in Haskell
☆20Updated 5 years ago
Alternatives and similar repositories for yasih:
Users that are interested in yasih are comparing it to the libraries listed below
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- higher-kinded data☆30Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years 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
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 8 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Tiny type-checker with dependent types☆76Updated 11 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- ICFP tutorial☆39Updated 3 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- OCaml backend for Idris2☆19Updated 4 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 3 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Anders: Cubical Type Checker☆22Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago