isovector / dynahaskellLinks
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
Sorting:
- generate contextually sensible fuzz tests for servant apps☆26Updated 7 months ago
- Cursor data and manipulation☆21Updated 3 weeks ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago
- Free categories, free arrows and free categories with monadic actions☆24Updated 3 months ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 4 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆12Updated last month
- Safe web routing in haskell☆30Updated 2 years ago
- Non-empty Vectors☆24Updated 2 months ago
- Lens interface for your filesystem☆22Updated 4 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- Plucky errors and exceptions☆20Updated 4 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 3 months ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 5 months ago
- Automatic type class law checking.☆24Updated 5 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Old and New GHC☆20Updated 2 years ago
- GHC prof manipulation script☆32Updated last year
- Clean up the formatting of 'show' output☆21Updated last month
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- Clowns to the left of me, jokers to the right☆15Updated 5 years ago
- A monadic interface for DAG construction.☆24Updated 4 years ago
- An efficient graph library for Haskell☆39Updated last month
- The most complete prelude formed only from the "base" package☆29Updated last year
- An experiment in functional interface design☆24Updated 8 years ago
- Deep evaluation of data structures☆41Updated last week