5-day current streak·55-day longest streak
Hi there! I work on tools to write more powerful, legible, and ergonomic software specifications, and therefore more correct software writ large. I work at Antithesis, where I co-created Hegel,…
Hi there! I work on tools to write more powerful, legible, and ergonomic software specifications, and therefore more correct software writ large.
I work at Antithesis, where I co-created Hegel, a universal property-based testing protocol to bring PBT to all developers.
I also maintain Hypothesis, Python's property-based testing library. In my time as a maintainer, I've done foundational work on Hypothesis, including building a new core representation and making Hypothesis thread-safe.
Together with Zac, I co-founded HypoFuzz, providing coverage-guided fuzzing of Hypothesis tests, autoscaling compute of those distributed fuzz workers, and visual fuzzing observability data.
As for academia: I co-authored this NeurIPS workshop paper in October 2025 with Anthropic. I released the Hypothesis Corpus dataset in April 2026, the largest ever set of software properties and their runtime information. And I was a participant in both iterations of METR's widely cited study on AI productivity.
-
ossapi
The definitive python wrapper for the osu! api
Python ★ 114 1mo agoExplain → -
testudoplus
No description.
JavaScript ★ 12 3y agoExplain → -
snitchvisbot
A snitch visualization discord bot for civ-style minecraft servers
Python ★ 7 9mo agoExplain → -
plait
My personal software for managing coding agents
Python ★ 5 15d agoExplain → -
snitchvis
A snitch visualizer for civ-style minecraft servers
Python ★ 5 9mo agoExplain → -
denpa-finder
fuzzy search denpa album dumps for a given query
Python ★ 5 3y agoExplain → -
Osu-Reporter
Automates housekeeping tasks on r/osureport
Python ★ 4 10mo agoExplain → -
Hypothesis-Corpus
Hypothesis Corpus dataset
Python ★ 2 2mo agoExplain → -
civwiki-tools
Tools for editing CivWiki https://civwiki.org/
Python ★ 1 8mo agoExplain → -
tybug.dev
personal blog
JavaScript ★ 0 1d agoExplain → -
hypothesis ⑂
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Python ★ 0 2d agoExplain → -
dotfiles
Various config files on my system
CSS ★ 0 10d agoExplain → -
hypothesis-crosshair ⑂
Level-up your Hypothesis tests with CrossHair
★ 0 17d agoExplain → -
liam-devoe
No description.
★ 0 1mo agoExplain → -
typeshed ⑂
Collection of library stubs for Python, with static types
★ 0 5mo agoExplain → -
nixpkgs ⑂
Nix Packages collection & NixOS
★ 0 4mo agoExplain → -
pytest-xdist ⑂
pytest plugin for distributed testing and loop-on-failures testing modes.
★ 0 8mo agoExplain → -
pytest ⑂
The pytest framework makes it easy to write small tests, yet scales to support complex functional testing
Python ★ 0 4mo agoExplain → -
pytest-run-parallel ⑂
A simple pytest plugin to run tests concurrently
Python ★ 0 5mo agoExplain → -
packaging ⑂
Core utilities for Python packages
★ 0 7mo agoExplain → -
osu-web ⑂
the browser-facing portion of osu!
PHP ★ 0 9mo agoExplain → -
tox ⑂
Command line driven CI frontend and development task automation tool.
★ 0 9mo agoExplain → -
uplift-issue-tracker
No description.
★ 0 10mo agoExplain → -
shed ⑂
`shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++
★ 0 8mo agoExplain → -
hypofuzz ⑂
Adaptive fuzzing of Hypothesis tests
Python ★ 0 1y agoExplain → -
tyche-extension ⑂
No description.
★ 0 1y agoExplain → -
cpython ⑂
The Python programming language
★ 0 4mo agoExplain → -
funnel
Utilities for constructing research data filtering funnels
Python ★ 0 1y agoExplain → -
auris
a L/R audio test
Python ★ 0 1y agoExplain → -
limelight
My local replacement for spotlight
Swift ★ 0 3y agoExplain → -
osu-queue-processor ⑂
No description.
★ 0 3y agoExplain → -
403-visualization
No description.
HTML ★ 0 4y agoExplain → -
umdauth
automate various actions with umd on your behalf
Python ★ 0 5y agoExplain →
No repos match these filters.