isovector / dynahaskell
the dynabook but for haskell
☆23Updated 5 years ago
Alternatives and similar repositories for dynahaskell:
Users that are interested in dynahaskell are comparing it to the libraries listed below
- generate contextually sensible fuzz tests for servant apps☆26Updated 5 months ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 4 months ago
- Plucky errors and exceptions☆20Updated 4 years ago
- Free categories, free arrows and free categories with monadic actions☆24Updated last month
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- A compatibility library for `hedgehog` and `fakedata`☆16Updated 2 months ago
- Non-empty Vectors☆24Updated last week
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- higher-kinded data☆30Updated last year
- Deep evaluation of data structures☆41Updated 7 months ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Plucky Runtime IO☆16Updated 4 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- ☆20Updated 2 years ago
- Old and New GHC☆20Updated 2 years ago
- First Class Record Fields in Haskell☆17Updated last month
- Clowns to the left of me, jokers to the right☆15Updated 5 years ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- Derive instances through isomorphisms☆20Updated 10 months ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 2 months ago