David R. MacIver

Shrinkray is a modern multi-format test-case reducer

A very minimal implementation of the core idea of Hypothesis

Structured shrinking of unknown file formats

A terrible way of testing terminal applications

Is this integer dead or alive?

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

No description.

A library for tracking program state

No description.

No description.

A small batch processing utlity

Repository for my Hypothesis training course

Some useful things to try

Compressed representation of sorted lists of unsigned integers

Test-case reducer for SAT problems

A collection of research notes and paper reviews

No description.

A C library and CLI for finding near-maximum weighted feedback arc sets

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

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

A wiki for Slay the Spire 2

Talks I give that *aren't* about Hypothesis

No description.

Fully Automated Luxury Boltzmann Samplers

A collection of big integer benchmarks for rust

A tool for managing my many open Pull Requests

No description.

Slay the Spire Mod for practicing tactical play

Slides for talks about Hypothesis

No description.

No description.

No description.

No description.

The website for the Namibian pycon.

Github pages

A library set of arbitrary precision numbers implemented in Rust.

No description.

No description.

:pancakes: The sweeter pytest snapshot plugin

No description.

Universal property-based testing protocol, built on Hypothesis

A vibecoded port of redo to rust

No description.

A skill for helping coding agents write hegel tests.

No description.

Cross-platform game engine in Rust.

No description.

Slay the Spire mod that provides a protocol for allowing another process to control the game

Shitty prototype port of shrinkray to rust

A package for interfacing with Slay the Spire through Communication Mod, plus a simple AI

A collection of useful code

No description.

Random code that I wrote because I felt like it

Console user interface library for Python (official repo)

Random sampling with updatable weights

New generation PostgreSQL database adapter for the Python programming language

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

No description.

Comparing shrinking approaches and performance across different PBT libraries

No description.

Talk about test-case reduction for codemesh 2019

Second lecture on academic writing

Slides for a lecture on academic writing

Onward! essay 2019 repo

A separate repository for storing corpora of Hypothesis test cases.

Parallel Delta Debugging Framework

A mirror: the real repo is at BitBucket

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

Python Classes Without Boilerplate

A website with non-aggressive LGBT+ issue explanations for Cis/Het people

No description.

IDE allow you to refactor code, Baron allows you to write refactoring code.

Some code for generating electoral examples

Rails code running the Lobsters link aggregation site

A simple list of Software Testing Conferences and workshops

No description.

An experimental file shrinker based on regular language theory

The Cardiff Python user group.

The documented self

Persistent/Immutable/Functional data structures for Python

Run arbitrary python versions with less faffing around

Cookiecutter template for a Python package. See https://github.com/audreyr/cookiecutter.