specdris
by pheymann
A test framework for Idris
AI summary
Test framework
A framework for writing test cases in Idris to verify the correctness of mathematical and functional code.
- stars
- 56
- forks
- 9
- watching
- 6
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Test framework
A test framework that allows developers to write tests in a familiar syntax and automatically re-runs specs during development.
phpspec/phpspec1.9K
Test framework
A framework for defining and executing unit tests with behavior-driven development (BDD) capabilities for PHP applications.
Test framework
A testing framework for Rust that provides a structured way to write and run test cases.
Test Framework
A testing framework with an opinionated approach to writing tests using power asserts and the spec syntax.
Test framework
A specification-based testing framework for Scala programming languages
Testing framework
A comprehensive testing framework for building reliable unit tests in TypeScript applications
Test framework
A comprehensive testing framework for Go, providing features for assertions, fuzzing, output capture, and more.
Test framework
A modern testing framework for Haskell with advanced features and good defaults
Test framework
A toolset providing test cases and analysis tasks for the ocean, land ice, and sea ice components of an Earth system model.
matryer/is1.8K
testing framework
A testing framework for Go with simple and readable API
Test framework
A comprehensive testing framework for Bash scripts.
Test framework
A testing framework that makes writing unit tests easy and integrates well with existing workflows.
Testing framework
A BDD-style testing framework for Swift.
Test framework
A Python-based test automation framework for Splunk Phantom playbooks.
test framework
A testing framework for D that offers structured test organization and customizable assertion behavior
Featured in 1 awesome list
Each link jumps to the spot where the list mentions specdris.
