spinda / liquidhaskell-cabalLinks
π§ Liquid Haskell integration for Cabal and Stack
β25Updated 6 years ago
Alternatives and similar repositories for liquidhaskell-cabal
Users that are interested in liquidhaskell-cabal are comparing it to the libraries listed below
Sorting:
- Tools for functors from Hask^k to Haskβ23Updated 5 years ago
- Simplify and render Template Haskellβ18Updated 6 years ago
- Map and Set over contiguous memoryβ21Updated last year
- Deriving Storable instances using GHC.Genericsβ16Updated 3 years ago
- Kleene algebra, regular expressionsβ32Updated last year
- Haskell time library focusing on performanceβ57Updated 2 weeks ago
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 8 years ago
- Automatic type class law checking.β24Updated 6 months ago
- β21Updated 2 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.β20Updated 8 years ago
- Nat, Fin, Vecβ25Updated 3 months ago
- Easy and powerful typeful logging without monad towers, in Haskell.β26Updated last year
- A monad for managed valuesβ51Updated 2 years ago
- Maps using values' monoidal structure during mergingβ42Updated 3 months ago
- Zippers for cofree typesβ13Updated 3 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.β19Updated 6 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...β18Updated 8 years ago
- The Str signature and implementationsβ21Updated 8 years ago
- A monad, perhaps.β32Updated 5 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.β34Updated 7 years ago
- Dependently typed elimination functions using singletonsβ28Updated 7 months ago
- Various type-aligned sequence data structures.β21Updated 3 years ago
- Non-empty Vectorsβ25Updated 3 months ago
- Bring fusion to everyoneβ13Updated 5 years ago
- My personal web siteβ17Updated 4 months ago
- Haskell library of row polymorphic record manipulatorβ23Updated 4 years ago
- Unpinned byte arrays in GHC haskellβ22Updated 6 years ago
- Reasonable Haskell default importβ27Updated 2 years ago
- β24Updated 5 years ago
- rewrite rules for type-level equalitiesβ62Updated last year