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
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Tiny type-checker with dependent types☆76Updated 11 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- ICFP tutorial☆39Updated 3 years ago
- Haskell 98 Profunctors☆71Updated 9 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 2 months ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Efficient parser combinators for Haskell☆39Updated 11 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 5 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 4 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Haskell library for semigroup actions and torsors☆61Updated last month