Discover @DRMacIver Open Source projects

David R. MacIver (@DRMacIver)

DRMacIver

Stars
491
Global Rank 58,404 (Top 3 %)
Followers 336
Following 13
Registered almost 16 years ago
Most used languages

Python
77.3 %

C
9.1 %

JavaScript
4.5 %

TeX
4.5 %

HTML
4.5 %
Location 🇬🇧 United Kingdom
Country Total Rank 3,029
Country Ranking

TeX
405

Python
492

C
1,892

HTML
9,532

minithesis

A very minimal implementation of the core idea of Hypothesis

structureshrink

Structured shrinking of unknown file formats

shrinkray

Shrinkray is a modern multi-format test-case reducer

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

each

A small batch processing utlity

hypothesis-training

Repository for my Hypothesis training course

research-notebook

A collection of research notes and paper reviews

programmer-at-large-notes

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

things-to-try

Some useful things to try

SAT-reduce

Test-case reducer for SAT problems

intset

Compressed representation of sorted lists of unsigned integers

Feedback-Arc-Set

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

squish

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

foundational-llm-evals

FALBS

Fully Automated Luxury Boltzmann Samplers

lstar

simplifuzz

hypothesis-talks

Slides for talks about Hypothesis

drmaciver.github.com

misc-talks

Talks I give that *aren't* about Hypothesis

notation

anyreduce

cadence