liquidhaskell
Haskell Verifier
A tool for verifying and validating Haskell programs using refinement types and SMT logic
Liquid Types For Haskell
1k stars
28 watching
138 forks
Language: Haskell
last commit: 2 months ago haskellrefinement-typessmtverification
Related projects:
| Repository | Description | Stars |
|---|---|---|
 leventerkok/sbv | A tool for expressing and proving properties about Haskell programs using SMT solvers. | 245 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 standardsemiconductor/lion | Develops a formally verified RISC-V processor core using Haskell | 249 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 haskell-suite/haskell-src-exts | A toolset for manipulating and analyzing Haskell source code | 194 |
 terenceng03/mueval | A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment. | 76 |
 def-/ghc-vis | A tool to visualize live Haskell data structures in GHCi | 136 |
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
 google/haskell-indexer | Provides libraries and tools for preprocessing Haskell source code to enable entity cross-referencing | 99 |
 ymherklotz/vericert | A tool for formally verifying high-level synthesis of digital circuits | 88 |
 vehicle-lang/vehicle | A toolkit for enforcing logical specifications on neural networks | 82 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 sol/doctest | Tools for verifying and validating Haskell code examples | 374 |
 flcdrg/verify.mongodb | A tool for verifying MongoDB operations and recording their execution | 5 |
 joelburget/react-haskell | A set of libraries and tools for building web UI using Haskell | 352 |