Build software better, together

Differential fuzzer for quantum compilers. Found the CommutativeCancellation soundness bug fixed in Qiskit 2.5.1.

python rust quantum quantum-computing property-based-testing fuzzing qasm differential-testing openqasm compiler-testing pyo3 shrinking

Property-based testing and metamorphic testing combinator library for Gleam

A simple button that animates from its original frame to a circular button

swift ios xcode custom animation floating uibutton button shrink animate float expand expanding shrinking

Testo adapter for the property-testing engine: the #[Property] attribute, reflection conventions and TestResult mapping

testing php quickcheck property-based-testing property-testing php8 shrinking testo

Shrinking and Exact SEC Separation Algorithms for Cycle Problems

Stress testing finds a failing test. ccmin shrinks it until you can read it.

testing rust cli cpp competitive-programming property-based-testing codeforces delta-debugging shrinking

Property-based testing for Odin's core:testing with generators, combinators and integrated shrinking

testing quickcheck property-based-testing fuzzing odin odin-lang shrinking

Navigation Menu