DRMacIver/shrinkray

Stars
57
Rank 520,045 (Top 11 %)
Language
Python
License
MIT License
Created about 1 year ago
Updated 9 months ago

DRMacIver/shrinkray

DRMacIver

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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