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
Sorting:
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 6 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 3 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆12Updated 4 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 2 months ago
- ☆26Updated 4 months ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- Non-empty Vectors☆24Updated last month
- Lens interface for your filesystem☆22Updated 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
- Simple reflection of expressions☆33Updated 3 years ago
- Derive instances through isomorphisms☆20Updated 11 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Parse bytes fast☆24Updated last year
- Use hpack's phrasing in dhall to write cabal files☆31Updated 4 months ago
- An efficient graph library for Haskell☆39Updated 9 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Automatic type class law checking.☆24Updated 4 months ago
- Abstract, inspectable JSON representation of Haskell objects☆26Updated 2 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- ☆20Updated 2 years ago
- higher-kinded data☆30Updated 2 years ago