-
shrinkray
Shrinkray is a modern multi-format test-case reducer
Python ★ 348 26d agoExplain → -
minithesis
A very minimal implementation of the core idea of Hypothesis
Python ★ 154 1y agoExplain → -
structureshrink
Structured shrinking of unknown file formats
Python ★ 96 9y agoExplain → -
hecate
A terrible way of testing terminal applications
Python ★ 45 6y agoExplain → -
schroedinteger
Is this integer dead or alive?
Python ★ 45 9y agoExplain → -
shrinkray-old
Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
Python ★ 29 6y agoExplain → -
claude-reliability
No description.
Rust ★ 18 4mo agoExplain → -
glassbox
A library for tracking program state
Python ★ 15 10y agoExplain → -
notebook
No description.
Python ★ 14 2mo agoExplain → -
systems
No description.
★ 14 7y agoExplain → -
each
A small batch processing utlity
Python ★ 12 4y agoExplain → -
hypothesis-training
Repository for my Hypothesis training course
Python ★ 11 9y agoExplain → -
things-to-try
Some useful things to try
★ 5 5y agoExplain → -
intset
Compressed representation of sorted lists of unsigned integers
Python ★ 5 10y agoExplain → -
SAT-reduce
Test-case reducer for SAT problems
Python ★ 5 2y agoExplain → -
research-notebook
A collection of research notes and paper reviews
TeX ★ 5 7y agoExplain → -
foundational-llm-evals
No description.
Python ★ 4 2y agoExplain → -
Feedback-Arc-Set
A C library and CLI for finding near-maximum weighted feedback arc sets
C ★ 4 11y agoExplain → -
programmer-at-large-notes
World-building notes for my "Programmer at large" fiction
★ 4 9y agoExplain → -
squish
Collapse lines of key, value pairs into key, values... pairs
C ★ 3 11y agoExplain → -
sts2-wiki
A wiki for Slay the Spire 2
Python ★ 2 15d agoExplain → -
misc-talks
Talks I give that *aren't* about Hypothesis
JavaScript ★ 2 4y agoExplain → -
lstar
No description.
Python ★ 2 7y agoExplain → -
FALBS
Fully Automated Luxury Boltzmann Samplers
Python ★ 2 8y agoExplain → -
rust-bigint-benchmarks
A collection of big integer benchmarks for rust
Rust ★ 1 20d agoExplain → -
pr-manager
A tool for managing my many open Pull Requests
Python ★ 1 19d agoExplain → -
dynamic-random-sampler
No description.
Rust ★ 1 5mo agoExplain → -
sts-arena
Slay the Spire Mod for practicing tactical play
Java ★ 1 4mo agoExplain → -
hypothesis-talks
Slides for talks about Hypothesis
HTML ★ 1 7y agoExplain → -
anyreduce
No description.
Python ★ 1 7y agoExplain → -
cadence
No description.
★ 1 7y agoExplain → -
notation
No description.
★ 1 7y agoExplain → -
simplifuzz
No description.
Python ★ 1 10y agoExplain → -
python-namibia.github.io ⑂
The website for the Namibian pycon.
CSS ★ 1 10y agoExplain → -
drmaciver.github.com
Github pages
★ 1 16y agoExplain → -
dashu ⑂
A library set of arbitrary precision numbers implemented in Rust.
★ 0 19d agoExplain → -
cadical-skill
No description.
Python ★ 0 1mo agoExplain → -
pbtkit
No description.
Python ★ 0 2mo agoExplain → -
syrupy ⑂
:pancakes: The sweeter pytest snapshot plugin
★ 0 2mo agoExplain → -
regex-automata
No description.
★ 0 2mo agoExplain → -
hegel-core ⑂
Universal property-based testing protocol, built on Hypothesis
★ 0 2mo agoExplain → -
redo-rs
A vibecoded port of redo to rust
Rust ★ 0 2mo agoExplain → -
approximate-model-counting
No description.
Python ★ 0 3mo agoExplain → -
hegel-skill ⑂
A skill for helping coding agents write hegel tests.
★ 0 3mo agoExplain → -
test-case-reduction-skill
No description.
★ 0 3mo agoExplain → -
macroquad ⑂
Cross-platform game engine in Rust.
★ 0 4mo agoExplain → -
ear-trainer
No description.
TypeScript ★ 0 4mo agoExplain → -
CommunicationMod ⑂
Slay the Spire mod that provides a protocol for allowing another process to control the game
Java ★ 0 5mo agoExplain → -
shrinkray-rs
Shitty prototype port of shrinkray to rust
Rust ★ 0 5mo agoExplain → -
spirecomm ⑂
A package for interfacing with Slay the Spire through Communication Mod, plus a simple AI
Python ★ 0 5mo agoExplain → -
junkdrawer
A collection of useful code
Python ★ 0 1y agoExplain → -
lets-write-an-opensafely-study ⑂
No description.
★ 0 1y agoExplain → -
junkdrawer-old
Random code that I wrote because I felt like it
Python ★ 0 5y agoExplain → -
urwid ⑂
Console user interface library for Python (official repo)
Python ★ 0 2y agoExplain → -
updateable-sampler
Random sampling with updatable weights
Python ★ 0 2y agoExplain → -
psycopg ⑂
New generation PostgreSQL database adapter for the Python programming language
★ 0 3y agoExplain → -
shed ⑂
`shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++
★ 0 3y agoExplain → -
practical-wisdom
No description.
★ 0 4y agoExplain → -
shrinking-challenge ⑂
Comparing shrinking approaches and performance across different PBT libraries
★ 0 6y agoExplain → -
academic-writing-lecture-3
No description.
JavaScript ★ 0 6y agoExplain → -
codemesh-2019
Talk about test-case reduction for codemesh 2019
JavaScript ★ 0 6y agoExplain → -
academic-writing-lecture-2
Second lecture on academic writing
JavaScript ★ 0 6y agoExplain → -
academic-writing-lecture-1
Slides for a lecture on academic writing
JavaScript ★ 0 6y agoExplain → -
onwardessay19 ⑂
Onward! essay 2019 repo
TeX ★ 0 7y agoExplain → -
hypothesis-corpora
A separate repository for storing corpora of Hypothesis test cases.
★ 0 7y agoExplain → -
picire ⑂
Parallel Delta Debugging Framework
Python ★ 0 7y agoExplain → -
coveragepy ⑂
A mirror: the real repo is at BitBucket
Python ★ 0 8y agoExplain → -
pandas ⑂
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 ★ 0 8y agoExplain → -
attrs ⑂
Python Classes Without Boilerplate
Python ★ 0 9y agoExplain → -
please-dont ⑂
A website with non-aggressive LGBT+ issue explanations for Cis/Het people
★ 0 9y agoExplain → -
discrete-sampler
No description.
C ★ 0 9y agoExplain → -
baron ⑂
IDE allow you to refactor code, Baron allows you to write refactoring code.
Python ★ 0 9y agoExplain → -
voting-examples
Some code for generating electoral examples
Python ★ 0 9y agoExplain → -
lobsters ⑂
Rails code running the Lobsters link aggregation site
Ruby ★ 0 10y agoExplain → -
ckenst.github.io ⑂
A simple list of Software Testing Conferences and workshops
CSS ★ 0 10y agoExplain → -
PseudoBoolean
No description.
Python ★ 0 10y agoExplain → -
DFAShrink
An experimental file shrinker based on regular language theory
Python ★ 0 10y agoExplain → -
PyDiff.github.io ⑂
The Cardiff Python user group.
CSS ★ 0 10y agoExplain → -
docs
The documented self
HTML ★ 0 8y agoExplain → -
pyrsistent ⑂
Persistent/Immutable/Functional data structures for Python
Python ★ 0 10y agoExplain → -
specipy
Run arbitrary python versions with less faffing around
Shell ★ 0 10y agoExplain → -
cookiecutter-pypackage ⑂
Cookiecutter template for a Python package. See https://github.com/audreyr/cookiecutter.
Python ★ 0 10y agoExplain →
No repos match these filters.