TOTBWF / iso
A reversible language
☆23Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for iso
- Efficient parser combinators for Haskell☆39Updated 7 months ago
- Bidirectional Parsing. Work in Progress☆30Updated last month
- Nat, Fin, Vec☆24Updated last week
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated last month
- Existential type.☆36Updated 6 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆18Updated 3 years ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 3 months ago
- Kleene algebra, regular expressions☆32Updated last year
- Simple reflection of expressions☆33Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Category theory concepts in type classes and instances.☆20Updated last month
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Combine and enhance Functors☆39Updated 10 months ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 months ago
- Folds for recursive types with GHC Generics☆26Updated 4 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
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Symbol manipulation☆36Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- Overloaded plugin☆31Updated 5 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
- Bring fusion to everyone☆13Updated 4 years ago
- Linear map categories in Agda☆5Updated last year
- the dynabook but for haskell☆23Updated 5 years ago