kowainik / trial
⚖️ Trial Data Type
☆20Updated 4 months ago
Related projects: ⓘ
- Existential type.☆36Updated 4 months ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Deep evaluation of data structures☆40Updated last week
- Clean up the formatting of 'show' output☆22Updated 3 weeks ago
- Funny little Haskell impl☆18Updated 3 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated 9 months ago
- High-performance JSON parser☆24Updated 4 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- Zippers for cofree types☆12Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- ☆15Updated 2 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated last year
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Nat, Fin, Vec☆23Updated 3 weeks ago
- Keep your laziness in check!☆32Updated 2 years ago
- Composable Concurrent Computation Done Right☆29Updated last year
- ☆18Updated 3 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Order theory☆23Updated last year
- 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 4 years ago
- Overloaded plugin☆31Updated 3 months ago
- Efficient parser combinators for Haskell☆39Updated 5 months ago
- A reversible language☆23Updated 5 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago