PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Hypothesis Python Packages

Python packages with the GitHub topic hypothesis. Sorted by relevance, with stars and monthly downloads.
schemathesis
schemathesis

Catch API bugs before your users do

7.3M 3K 221
Stranger6667
hypothesis-graphql

Generate arbitrary queries matching your GraphQL schema, and use them to verify your backend implementation.

2.2M 48 4
cleder
pygeoif

Basic implementation of the __geo_interface__ 🌐️

393K 71 29
Zac-HD
hypothesmith

Hypothesis strategies for generating Python programs, something like CSmith

69K 115 10
democritus-project
d8s-hypothesis

Democritus functions for working with Hypothesis (https://hypothesis.readthedocs.io/en/latest/).

28K 0 1
pckroon
hypothesis-networkx

Hypothesis strategy to generate NetworkX graphs.

10K 23 4
teilomillet
ordeal

Automated chaos testing for Python — fault injection, property assertions, and stateful exploration

10K 2 0
Zac-HD
hypofuzz

Adaptive fuzzing of Hypothesis tests

10K 120 6
lycantropos
hypothesis-geometry

`hypothesis` strategies for geometries

6K 13 0
tefx
invar-tools

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

3K 2 1
lycantropos
hypothesis-sqlalchemy

hypothesis strategies for generating SQLAlchemy objects

2K 30 9
maximkulkin
hypothesis-regex

Hypothesis extension to allow generating strings based on regex

2K 26 2
amaar-mc
lawcheck

Property-based algebraic law testing for Python: Hypothesis-driven law suites for semigroups, monoids, functors, applicatives, monads, equivalence relations, and total orders, with a pluggable equality oracle.

826 0 0
kadenmc
agentic-experiments

Git-first, hypothesis-forcing experiment tracking for agent-driven ML research. Bundles a research harness for the H->E->F artifact model, uses signac for local execution/run state, and bridges to W&B for remote observability.

665 1 1
Tefx
python-invar

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

582 2 1
ph4r05
booltest

BoolTest - polynomial randomness tester

424 10 6
karlicoss
orger

Converts data into org-mode

341 339 11
uber
hypothesis-gufunc

Extension to hypothesis to generate inputs for general universal (GU) numpy functions.

297 37 5
j4ngzzz
nightjar-verify

Math doesn't hallucinate. Formal verification for AI-generated Python code.

296 0 0
tefx
invar-runtime

Lightweight runtime contracts for Invar projects

285 2 1
ligurio
lark-grammars

Grammars suitable for lark parser and Hypothesis

259 54 4
hugorut
neuralcli

command line neural network

248 143 14
democritus-project
democritus-hypothesis

Democritus functions for working with Hypothesis (https://hypothesis.readthedocs.io/en/latest/).

190 0 1
j4ngzzz
nightjarzzz

Math doesn't hallucinate. Formal verification for AI-generated Python code.

189 0 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery