Showing 5 of 5 projects
A coverage-guided fuzzing solution for testing Go packages, especially those parsing complex or untrusted inputs.
A randomized property-based testing plugin for Coq, enabling automated test generation and verification within proof assistants.
xUnit-style unit testing framework for Lua with randomized testing support, compatible with C projects using Lua.
A randomized property-based testing library for Common Lisp, designed to embed QuickCheck-style tests into existing test frameworks.
A small, opinionated Crystal testing framework that uses power asserts as the only assertion method.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.