Pinned Repositories
glassbox
A library for tracking program state
hecate
A terrible way of testing terminal applications
minithesis
A very minimal implementation of the core idea of Hypothesis
notebook
schroedinteger
Is this integer dead or alive?
shrinkray
Shrinkray is a modern multi-format test-case reducer
shrinkray-old
Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
structureshrink
Structured shrinking of unknown file formats
systems
DRMacIver's Repositories
DRMacIver/shrinkray
Shrinkray is a modern multi-format test-case reducer
DRMacIver/minithesis
A very minimal implementation of the core idea of Hypothesis
DRMacIver/hecate
A terrible way of testing terminal applications
DRMacIver/shrinkray-old
Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
DRMacIver/systems
DRMacIver/notebook
DRMacIver/each
A small batch processing utlity
DRMacIver/foundational-llm-evals
DRMacIver/SAT-reduce
Test-case reducer for SAT problems
DRMacIver/things-to-try
Some useful things to try
DRMacIver/lstar
DRMacIver/anyreduce
DRMacIver/hypothesis-talks
Slides for talks about Hypothesis
DRMacIver/misc-talks
Talks I give that *aren't* about Hypothesis
DRMacIver/academic-writing-lecture-1
Slides for a lecture on academic writing
DRMacIver/academic-writing-lecture-2
Second lecture on academic writing
DRMacIver/academic-writing-lecture-3
DRMacIver/codemesh-2019
Talk about test-case reduction for codemesh 2019
DRMacIver/hypothesis-corpora
A separate repository for storing corpora of Hypothesis test cases.
DRMacIver/junkdrawer
A collection of useful code
DRMacIver/junkdrawer-old
Random code that I wrote because I felt like it
DRMacIver/lets-write-an-opensafely-study
DRMacIver/onwardessay19
Onward! essay 2019 repo
DRMacIver/picire
Parallel Delta Debugging Framework
DRMacIver/practical-wisdom
DRMacIver/psycopg
New generation PostgreSQL database adapter for the Python programming language
DRMacIver/shed
`shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++
DRMacIver/shrinking-challenge
Comparing shrinking approaches and performance across different PBT libraries
DRMacIver/updateable-sampler
Random sampling with updatable weights
DRMacIver/urwid
Console user interface library for Python (official repo)