GitHub topics: counterexample
serhon/intpolmulnonbity
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.
Language: Rust - Size: 43 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
SophieBosio/contra
A friendly functional language for finding counterexamples 🎯
Language: Haskell - Size: 1000 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 7 - Forks: 0
catseye/Eightebed
MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe
Language: Python - Size: 34.2 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 2
ProofEventCheckers/Ouzo
Proof that 20 glasses of Ouzo don't matter by Mathematical Induction
Size: 96.7 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
dynaroars/igen
a dynamic analysis tool to find interactions among configuration options in highly-configurable software.
Language: Python - Size: 16.7 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
