There are no reviews yet. Be the first to send feedback to the community and the maintainers!
minithesis
A very minimal implementation of the core idea of Hypothesisstructureshrink
Structured shrinking of unknown file formatsshrinkray
Shrinkray is a modern multi-format test-case reducerschroedinteger
Is this integer dead or alive?hecate
A terrible way of testing terminal applicationsshrinkray-old
Shrink Ray is a new test-case reducer designed to be effective on a wide range of formatsglassbox
A library for tracking program statesystems
notebook
each
A small batch processing utlityhypothesis-training
Repository for my Hypothesis training courseresearch-notebook
A collection of research notes and paper reviewsprogrammer-at-large-notes
World-building notes for my "Programmer at large" fictionthings-to-try
Some useful things to trySAT-reduce
Test-case reducer for SAT problemsintset
Compressed representation of sorted lists of unsigned integersFeedback-Arc-Set
A C library and CLI for finding near-maximum weighted feedback arc setssquish
Collapse lines of key, value pairs into key, values... pairsfoundational-llm-evals
FALBS
Fully Automated Luxury Boltzmann Samplerslstar
hypothesis-talks
Slides for talks about Hypothesisdrmaciver.github.com
Github pagesmisc-talks
Talks I give that *aren't* about Hypothesisnotation
anyreduce
cadence
Love Open Source and this site? Check out how you can help us