pkamenarsky / knit
Ties the knot on data structures that reference each other by unique keys
☆47Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for knit
- Compile Dhall expressions to Cabal files☆100Updated last year
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Haskell time library focusing on performance☆54Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Create temporary postgres instances☆53Updated 2 months ago
- Safe web routing in haskell☆30Updated last year
- A monad for managed values☆50Updated last year
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Haskell program configuration using higher kinded data☆29Updated 5 months ago
- rewrite rules for type-level equalities☆62Updated 6 months ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Generate a command line client from a servant API☆29Updated 9 months ago
- Order theory☆23Updated last year
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Parse and validate forms in JSON format☆38Updated 4 months ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- Symbol manipulation☆36Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 2 months ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Batteries-included structured logging library☆29Updated 2 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- ☆30Updated 3 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago