spinda / liquidhaskell-cabalView external linksLinks
š§ Liquid Haskell integration for Cabal and Stack
ā25May 30, 2019Updated 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:
- A nullary type class for partial functionsā15Nov 28, 2017Updated 8 years ago
- Type-level assertion operatorsā16Mar 20, 2018Updated 7 years ago
- Closure calculus implementationā12Jun 25, 2019Updated 6 years ago
- Derive editors for data types.ā28Oct 5, 2014Updated 11 years ago
- Small implementation of OutsideIn(X) type checking algorithmā31Apr 13, 2015Updated 10 years ago
- A thread-safe hash table in Haskellā15Feb 28, 2020Updated 5 years ago
- convert simple cryptol expressions into finite-state machinesā22Sep 15, 2017Updated 8 years ago
- An append only list in a compact regionā25Sep 6, 2018Updated 7 years ago
- Tools for functors from Hask^k to Haskā23Aug 25, 2019Updated 6 years ago
- A package re-exporting the verified subset of containersā20Jun 18, 2018Updated 7 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.ā25Aug 1, 2024Updated last year
- A monadic interface for DAG construction.ā24May 11, 2021Updated 4 years ago
- A hashing-based graph implementation in Haskellā33Jul 2, 2018Updated 7 years ago
- An efficient graph library for Haskellā41Aug 26, 2025Updated 5 months ago
- Refactorio is a tool with which you build and maintain software.ā19Jun 3, 2024Updated last year
- A static analysis tool for C.ā29Oct 29, 2019Updated 6 years ago
- A formal verification of Linear Temporal Logic in Coq