inspection-testing
by nomeata
Inspection Testing for Haskell
AI summary
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.
- stars
- 172
- forks
- 27
- watching
- 13
Similar projects
Found by comparing what the projects do, not just their names.
Assertion checker
A Flake8 extension that enforces more specific and informative unittest assertions.
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
Assertion plugin
A plugin to simplify assertions in Haskell by providing detailed error messages and context when an assertion fails.
Property tester
Automated testing of program properties in Haskell programs.
Property tester
A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions.
Performance analyser
A performance measurement library for Haskell code
specification checker
A tool for writing and validating temporal logic specifications of software behavior
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
Asset Verifier
A tool for verifying the authenticity of HTTP assets using digital signatures and certificates.
Code quality check
A checklist to help Haskell developers ensure their code is readable, maintainable and follows best practices.
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
Assert checker
A plugin to catch and report unnecessary assert statements in Python code.
Code analyzer
A tool that analyzes Haskell code to measure its complexity and quality
Heap Inspector
Enables heap inspection and analysis of running Haskell programs from an external debugger
Assertion library
An assertion library providing an extensible and type-safe API for writing tests in Go.
