inspection-testing
Haskell assertion checker
A tool that allows developers to embed assertions about intermediate code in their Haskell programs and have them checked by the compiler.
Inspection Testing for Haskell
172 stars
13 watching
27 forks
Language: Haskell
last commit: almost 2 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jparise/flake8-assertive | A Flake8 extension that enforces more specific and informative unittest assertions. | 31 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 ocharles/assert-explainer | A plugin to simplify assertions in Haskell by providing detailed error messages and context when an assertion fails. | 65 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 hedgehogqa/haskell-hedgehog | A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. | 676 |
 haskell/criterion | A performance measurement library for Haskell code | 505 |
 awakesecurity/spectacle | A tool for writing and validating temporal logic specifications of software behavior | 174 |
 leventerkok/sbv | A tool for expressing and proving properties about Haskell programs using SMT solvers. | 245 |
| nomeata/motoko-certified-http | A tool for verifying the authenticity of HTTP assets using digital signatures and certificates. | 17 |
 iand675/haskell-checklist | A checklist to help Haskell developers ensure their code is readable, maintainable and follows best practices. | 68 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 decorator-factory/flake8-useless-assert | A plugin to catch and report unnecessary assert statements in Python code. | 5 |
 migamake/homplexity | A tool that analyzes Haskell code to measure its complexity and quality | 61 |
 bgamari/ghc-debug | Enables heap inspection and analysis of running Haskell programs from an external debugger | 61 |
 fluentassert/verify | An assertion library providing an extensible and type-safe API for writing tests in Go. | 46 |