kowainik / membrain
π§ Type-safe memory units
β61Updated 4 years ago
Alternatives and similar repositories for membrain:
Users that are interested in membrain are comparing it to the libraries listed below
- βΎοΈ Sized listβ46Updated 11 months ago
- tools for writing better type errorsβ73Updated last year
- ππ Combinators for writing pretty type errors easilyβ56Updated 3 years ago
- Hedgehog will eat your typeclass bugsβ56Updated last month
- π Out of the shell solution for scripting in Haskellβ72Updated 6 months ago
- Generic Programming using True Sums of Productsβ163Updated 4 months ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.β117Updated 4 months ago
- A syntax for unions of constraints in Haskellβ70Updated 7 years ago
- Compile Dhall expressions to Cabal filesβ101Updated 2 years ago
- A work stealing schedulerβ75Updated 3 months ago
- Haskell Webapps on AWS Lambdaβ43Updated 2 years ago
- Efficient implementation of the implicit treap data structureβ63Updated 3 years ago
- Dependently-typed finite maps (partial dependent products)β66Updated 2 months ago
- Retry combinators for monadic actions that may failβ114Updated 2 years ago
- Benchmarks to compare Haskell streaming library performanceβ103Updated 5 months ago
- Yet another Haskell build system.β115Updated 4 years ago
- Recursion schemes for Idrisβ64Updated 6 years ago
- Experimental, user-contributed effects and interpreters for polysemyβ72Updated last year
- Comma (and other) separated valuesβ78Updated last year
- rewrite rules for type-level equalitiesβ62Updated last year
- All of `base` without the `Prelude` moduleβ44Updated 2 years ago
- Lightweight package providing commonly useful parser combinatorsβ54Updated 3 months ago
- type level setsβ67Updated 5 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.β81Updated 4 years ago
- Haskell 98 contravariant functorsβ73Updated 6 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.β97Updated 3 years ago
- Automatically trace all (showable) binds in do expressionsβ84Updated 6 years ago
- Dual Traversableβ42Updated last year
- β29Updated 5 years ago
- A monad for managed valuesβ50Updated 2 years ago