phadej / vec
Nat, Fin, Vec
β24Updated 2 months ago
Alternatives and similar repositories for vec:
Users that are interested in vec are comparing it to the libraries listed below
- Simplify and render Template Haskellβ18Updated 6 years ago
- π€³ ignore the differences between `a` and `Identity a`β25Updated 5 years ago
- Safe web routing in haskellβ30Updated last year
- Omit fields for instance derivingβ37Updated 4 years ago
- Maps using values' monoidal structure during mergingβ42Updated last month
- β35Updated 4 months ago
- Tools for functors from Hask^k to Haskβ23Updated 5 years ago
- Parse bytes fastβ24Updated 8 months ago
- Overloaded pluginβ30Updated 7 months ago
- Order theoryβ23Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solverβ16Updated 2 months ago
- Non-empty Vectorsβ24Updated last month
- Haskell time library focusing on performanceβ57Updated last month
- generate contextually sensible fuzz tests for servant appsβ26Updated 2 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).β35Updated 7 months ago
- Kleene algebra, regular expressionsβ32Updated last year
- Automatic type class law checking.β24Updated 2 weeks ago
- Structured logging solution.β35Updated last year
- Symbol manipulationβ36Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazyβ17Updated 3 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.β34Updated 7 years ago
- Extensible type-safe unions for Haskellβ33Updated 4 months ago
- Use tests to monitor changes in Aeson serializationβ18Updated 5 months ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.β40Updated last year
- Various type-aligned sequence data structures.β20Updated 3 years ago
- Exhaustive pattern matching using lenses, traversals, and prismsβ32Updated 2 years ago
- π§ Liquid Haskell integration for Cabal and Stackβ23Updated 5 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.β26Updated 8 months ago
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 7 years ago
- Experimental implementation of generic record subtypingβ18Updated 8 months ago