TOTBWF / iso
A reversible language
☆23Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for iso
- Existential type.☆36Updated 5 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Symbol manipulation☆36Updated last year
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Efficient parser combinators for Haskell☆39Updated 6 months ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 3 weeks ago
- Overloaded plugin☆31Updated 4 months ago
- Haskell implementation of interaction net-based lambda evaluation☆16Updated 8 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Nat, Fin, Vec☆24Updated 2 months ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- Session Types with Priority in Linear Haskell☆25Updated 4 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated last week
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- ☆12Updated 4 years ago
- Category theory concepts in type classes and instances.☆19Updated 3 weeks ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Order theory☆23Updated last year
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Dual Traversable☆41Updated last year
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago