gbwey / predicate-typed
beyond refinement types + visualisation (supercedes predicate)
☆9Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for predicate-typed
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- Deriving Semigroup and Monoid instances for your product types☆11Updated 3 months ago
- Programmatically create new instances using core-to-core plugins☆12Updated 3 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 3 years ago
- ☆10Updated 10 months ago
- Deriving Applicative for sum types.. Idiomatically.☆11Updated 2 years ago
- Staged Streams and other stuff☆18Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- ☆20Updated last year
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 6 years ago
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- Physical dimensions and operations☆9Updated 6 years ago
- Zippers for cofree types☆12Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Alternative and lite implementation of Hoogle☆11Updated 7 months ago
- Typeclass for array types☆19Updated 6 months ago
- QuickCheck extension for higher-order properties☆17Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Efficient search weighted by an ordered monoid with monus.☆16Updated last year
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month
- Category theory concepts in type classes and instances.☆20Updated last month
- A flexible Haskell API for querying the GitHub REST API☆15Updated 5 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Composable Concurrent Computation Done Right☆30Updated last year