A friendly functional language for finding counterexamples 🎯

MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe

Proof that 20 glasses of Ouzo don't matter by Mathematical Induction

a dynamic analysis tool to find interactions among configuration options in highly-configurable software.

An explicit C^4 counterexample to the Jacobian Conjecture via a normalized linear-times-cubic quartic factorization.

Property-based testing plugin for tape-six powered by fast-check: t.prop() and t.scheduler() tester methods with structured counterexamples, seeds, and replay.

A 12-vertex counterexample to Stanley’s claw-free Schur-positivity conjecture

A 13-vertex disproof of the Annor–Howerton graph conjecture, with a structural proof, machine-readable witnesses, and exact verification

Lean 4 certificates for C5[K4] counterexamples to WOWII Graph Conjectures 63 and 85

Teacher-controlled deterministic counterexample compiler for signed-integer subtraction

Stochastic parallelised search for counter- and extreme examples to inequalities between "nonbities" of 2 polynomials with nonnegative coefficients and of their product, where a nonbity of a polynomial quantifies its "distinctiveness" from a {0,1}-one. Related to unfair 0-1-polynomials conjecture.

Explicit 14-vertex counterexample to Written on the Wall II Conjecture 200, with proof, exact verifiers, and Lean 4 formalization

Turns developer-approved SQLite migration promises into minimal, replayable counterexamples.