DRMacIver

minithesis

A very minimal implementation of the core idea of Hypothesis

shrinkray

Shrinkray is a modern multi-format test-case reducer

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

systems

notebook

each

A small batch processing utlity

research-notebook

A collection of research notes and paper reviews

SAT-reduce

Test-case reducer for SAT problems

things-to-try

Some useful things to try

foundational-llm-evals

lstar

anyreduce

cadence

hypothesis-talks

Slides for talks about Hypothesis

misc-talks

Talks I give that *aren't* about Hypothesis

academic-writing-lecture-1

Slides for a lecture on academic writing

academic-writing-lecture-2

Second lecture on academic writing

academic-writing-lecture-3

codemesh-2019

Talk about test-case reduction for codemesh 2019

hypothesis-corpora

A separate repository for storing corpora of Hypothesis test cases.

junkdrawer

Random code that I wrote because I felt like it

onwardessay19

Onward! essay 2019 repo

picire

Parallel Delta Debugging Framework

practical-wisdom

psycopg

New generation PostgreSQL database adapter for the Python programming language

shed

`shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++

shrinking-challenge

Comparing shrinking approaches and performance across different PBT libraries

updateable-sampler

Random sampling with updatable weights

urwid

Console user interface library for Python (official repo)