Alternatives and similar repositories for liquidhaskell-cabal

Users that are interested in liquidhaskell-cabal are comparing it to the libraries listed below

• paf31 / partial

  View on GitHub
  A nullary type class for partial functions
  ☆15Nov 28, 2017Updated 8 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 6 years ago
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• Jaak / TinyOutsideIn

  View on GitHub
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Apr 13, 2015Updated 10 years ago
• pwrobinson / concurrent-hashtable

  View on GitHub
  A thread-safe hash table in Haskell
  ☆15Feb 28, 2020Updated 5 years ago
• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• composewell / compact-list

  View on GitHub
  An append only list in a compact region
  ☆25Sep 6, 2018Updated 7 years ago
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• nomeata / containers-verified

  View on GitHub
  A package re-exporting the verified subset of containers
  ☆20Jun 18, 2018Updated 7 years ago
• vmchale / hs-ats

  View on GitHub
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Aug 1, 2024Updated last year
• i-am-tom / dagless

  View on GitHub
  A monadic interface for DAG construction.
  ☆24May 11, 2021Updated 4 years ago
• patrickdoc / hash-graph

  View on GitHub
  A hashing-based graph implementation in Haskell
  ☆33Jul 2, 2018Updated 7 years ago
• travitch / haggle

  View on GitHub
  An efficient graph library for Haskell
  ☆41Aug 26, 2025Updated 5 months ago
• SuperpowersCorp / refactorio

  View on GitHub
  Refactorio is a tool with which you build and maintain software.
  ☆19Jun 3, 2024Updated last year
• evincarofautumn / Ward

  View on GitHub
  A static analysis tool for C.
  ☆29Oct 29, 2019Updated 6 years ago
• jwiegley / coq-cds4ltl

  View on GitHub
  A formal verification of Linear Temporal Logic in Coq
  ☆23Nov 18, 2025Updated 2 months ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• puffnfresh / th-pprint

  View on GitHub
  Simplify and render Template Haskell
  ☆18Aug 19, 2018Updated 7 years ago
• lspitzner / iridium

  View on GitHub
  Automated Testing and Package Uploading
  ☆12Oct 3, 2018Updated 7 years ago
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 5 years ago
• joom / direct-reflection-for-free

  View on GitHub
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Feb 21, 2020Updated 5 years ago
• marcin-rzeznicki / hspec-tables

  View on GitHub
  Table-driven (by-example) HSpec tests
  ☆10Jan 29, 2021Updated 5 years ago
• Gabriella439 / sig

  View on GitHub
  Blazing fast signature detection
  ☆11Sep 5, 2022Updated 3 years ago
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• Bodigrim / chimera

  View on GitHub
  Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization
  ☆60Dec 28, 2025Updated last month
• ezyang / ghc-shake

  View on GitHub
  ghc --make reimplemented with Shake
  ☆32Sep 29, 2023Updated 2 years ago
• serokell / log-warper

  View on GitHub
  Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output
  ☆18Mar 4, 2020Updated 5 years ago
• boris-ci / boris

  View on GitHub
  This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.
  ☆19Mar 17, 2019Updated 6 years ago
• andrewthad / primitive-containers

  View on GitHub
  Map and Set over contiguous memory
  ☆22Aug 9, 2023Updated 2 years ago
• Bodigrim / poly

  View on GitHub
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Sep 1, 2025Updated 5 months ago
• cjdev2 / monad-mock

  View on GitHub
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆70Jan 13, 2020Updated 6 years ago
• jeremyjh / distributed-process-lifted

  View on GitHub
  A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and …
  ☆12Feb 25, 2018Updated 7 years ago
• NorfairKing / zifter

  View on GitHub
  Composable code-quality tools
  ☆13Jun 22, 2018Updated 7 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• carlohamalainen / docker-ghcide-neovim

  View on GitHub
  Install ghcide, neovim, and CoC in a minimal Debian 10 Docker container.
  ☆11May 4, 2020Updated 5 years ago
• omelkonian / rewrite-inspector

  View on GitHub
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Oct 28, 2019Updated 6 years ago
• sellout / dredd

  View on GitHub
  Automatic type class law checking.
  ☆24Dec 19, 2025Updated last month