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:
- Simplify and render Template Haskellβ18Updated 7 years ago
- Deriving Storable instances using GHC.Genericsβ16Updated 3 years ago
- Map and Set over contiguous memoryβ22Updated 2 years ago
- Automatic type class law checking.β24Updated 8 months ago
- Safe web routing in haskellβ30Updated 2 years ago
- Haskell time library focusing on performanceβ58Updated last month
- Kleene algebra, regular expressionsβ33Updated last year
- Tools for functors from Hask^k to Haskβ23Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithmβ31Updated 10 years ago
- Omit fields for instance derivingβ37Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.β48Updated 9 months ago
- Easy and powerful typeful logging without monad towers, in Haskell.β26Updated last year
- rewrite rules for type-level equalitiesβ62Updated last month
- Maps using values' monoidal structure during mergingβ42Updated 5 months ago
- β45Updated 3 years ago
- Classes for types where we know all the valuesβ39Updated 8 months ago
- Haskell98 indexed functors, monads, comonadsβ25Updated 3 years ago
- A monad for managed valuesβ51Updated 2 years ago
- Reasonable Haskell default importβ27Updated 3 years ago
- Nat, Fin, Vecβ25Updated 5 months ago
- Haskell library of row polymorphic record manipulatorβ23Updated 4 years ago
- β21Updated 2 years ago
- Ghosts of Departed Proofsβ61Updated 4 years ago
- A truly tiny monadic parsing libraryβ28Updated 4 years ago
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 8 years ago
- ghc --make reimplemented with Shakeβ32Updated 2 years ago
- The Str signature and implementationsβ21Updated 8 years ago
- A monadic interface for DAG construction.β24Updated 4 years ago
- Quickcheck Properties for common typeclassesβ35Updated 5 months ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solverβ18Updated 6 months ago