isovector / dynahaskell
the dynabook but for haskell
☆23Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for dynahaskell
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Cursor data and manipulation☆21Updated 11 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 3 weeks ago
- Funny little Haskell impl☆18Updated 4 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- An efficient graph library for Haskell☆39Updated 3 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆10Updated this week
- Deep evaluation of data structures☆41Updated 2 months ago
- A compatibility library for `hedgehog` and `fakedata`☆15Updated 2 years ago
- Clean up the formatting of 'show' output☆22Updated 3 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- Plucky Runtime IO☆15Updated 4 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated last year
- Dhall-configured inductive API definitions☆24Updated 4 years ago
- Plucky errors and exceptions☆20Updated 4 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- Non-empty Vectors☆24Updated 6 months ago
- Visualization of Haskell data structures☆14Updated 9 months ago
- Composable Concurrent Computation Done Right☆30Updated last year
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- First Class Record Fields in Haskell☆17Updated 5 months ago
- Types for ldtk☆14Updated 7 months ago