David R. MacIver

shrinkray. Shrinkray is a modern multi-format test-case reducer

minithesis. A very minimal implementation of the core idea of Hypothesis

structureshrink. Structured shrinking of unknown file formats

schroedinteger. Is this integer dead or alive?

hecate. A terrible way of testing terminal applications

shrinkray-old. Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats

glassbox. A library for tracking program state

systems.

notebook. Python

each. A small batch processing utlity

hypothesis-training. Repository for my Hypothesis training course

things-to-try. Some useful things to try

intset. Compressed representation of sorted lists of unsigned integers

research-notebook. A collection of research notes and paper reviews

SAT-reduce. Test-case reducer for SAT problems

Feedback-Arc-Set. A C library and CLI for finding near-maximum weighted feedback arc sets

foundational-llm-evals. Python

programmer-at-large-notes. World-building notes for my "Programmer at large" fiction

squish. Collapse lines of key, value pairs into key, values... pairs

FALBS. Fully Automated Luxury Boltzmann Samplers

lstar. Python

misc-talks. Talks I give that *aren't* about Hypothesis

cadence.

drmaciver.github.com. Github pages

anyreduce. Python

hypothesis-talks. Slides for talks about Hypothesis

python-namibia.github.io. The website for the Namibian pycon.

notation.

simplifuzz. Python