isovector / dynahaskell
the dynabook but for haskell
☆23Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for dynahaskell
- Cursor data and manipulation☆21Updated 11 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated this week
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years 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
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Non-empty Vectors☆24Updated 5 months ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- A compatibility library for `hedgehog` and `fakedata`☆15Updated 2 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆10Updated 4 months ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- Safe web routing in haskell☆30Updated last year
- An efficient graph library for Haskell☆39Updated 3 months ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Plucky errors and exceptions☆20Updated 4 years ago
- Make presentations for data types☆25Updated 3 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A GHC plugin to derive instances.☆23Updated last year
- Old and New GHC☆21Updated last year
- Lens interface for your filesystem☆22Updated 3 years ago
- GHC prof manipulation script☆30Updated 9 months ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- Basic examples and functions for generics-sop☆20Updated last year