specdris
Test framework
A framework for writing test cases in Idris to verify the correctness of mathematical and functional code.
A test framework for Idris
56 stars
6 watching
9 forks
Language: Idris
last commit: over 5 years ago
Linked from 1 awesome list
idrisidris-ecosystemtest-frameworktestingunit-testingunittest
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 danielstjules/pho | A test framework that allows developers to write tests in a familiar syntax and automatically re-runs specs during development. | 284 |
 phpspec/phpspec | A framework for defining and executing unit tests with behavior-driven development (BDD) capabilities for PHP applications. | 1,880 |
 alkass/polish | A testing framework for Rust that provides a structured way to write and run test cases. | 52 |
 ragmaanir/microtest | A testing framework with an opinionated approach to writing tests using power asserts and the spec syntax. | 31 |
 etorreborre/specs2 | A specification-based testing framework for Scala programming languages | 734 |
 suites-dev/suites | A comprehensive testing framework for building reliable unit tests in TypeScript applications | 367 |
 marvinjwendt/testza | A comprehensive testing framework for Go, providing features for assertions, fuzzing, output capture, and more. | 418 |
 norfairking/sydtest | A modern testing framework for Haskell with advanced features and good defaults | 115 |
 e3sm-project/polaris | A toolset providing test cases and analysis tasks for the ocean, land ice, and sea ice components of an Earth system model. | 6 |
 matryer/is | A testing framework for Go with simple and readable API | 1,782 |
 typeddevs/bashunit | A comprehensive testing framework for Bash scripts. | 328 |
 r-lib/testthat | A testing framework that makes writing unit tests easy and integrates well with existing workflows. | 891 |
 railsware/sleipnir | A BDD-style testing framework for Swift. | 844 |
 0x706972686f/phantasm | A Python-based test automation framework for Splunk Phantom playbooks. | 11 |
 linkrope/dunit | A testing framework for D that offers structured test organization and customizable assertion behavior | 37 |