phadej / hooglite
Alternative and lite implementation of Hoogle
☆11Updated 9 months ago
Alternatives and similar repositories for hooglite:
Users that are interested in hooglite are comparing it to the libraries listed below
- Nat, Fin, Vec☆24Updated 2 months ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Parse bytes fast☆24Updated 8 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Order theory☆23Updated last year
- Existential type.☆36Updated last month
- Clean up the formatting of 'show' output☆21Updated 5 months ago
- Maps using values' monoidal structure during merging☆42Updated last month
- Safe web routing in haskell☆30Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated 3 months ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Derive instances through isomorphisms☆20Updated 7 months ago
- Types for ldtk☆14Updated 9 months ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- Library and utility for processing cabal's plan.json file☆39Updated 2 weeks ago
- ☆20Updated 2 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Non-empty Vectors☆24Updated last month
- An efficient finite map from (byte)strings to values.☆20Updated 3 weeks ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Deep evaluation of data structures☆41Updated 4 months ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 2 months ago
- Structured logging solution.☆35Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A flexible Haskell API for querying the GitHub REST API☆14Updated 7 months ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago