tfausak / monadoc-5
🔖 Better Haskell documentation.
☆17Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for monadoc-5
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last month
- Funny little Haskell impl☆18Updated 4 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 3 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 5 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Clean up the formatting of 'show' output☆22Updated 3 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Cursor data and manipulation☆21Updated 11 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Reification of data structures using observable sharing☆28Updated 3 weeks ago
- Non-empty Vectors☆24Updated 6 months ago
- ☆20Updated 5 years ago
- fast utf-8 character sets☆13Updated 3 weeks ago
- Deep evaluation of data structures☆41Updated 2 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated last year
- Types for ldtk☆14Updated 7 months ago
- Typeclass for array types☆19Updated 6 months ago
- LibSSH2 FFI bindings for Haskell☆26Updated 5 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 3 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 3 weeks ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Safe web routing in haskell☆30Updated last year
- Closure calculus implementation☆12Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago