PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
schemathesis
schemathesis

Catch API bugs before your users do

3.5M 3K 207
Stranger6667
hypothesis-graphql

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

1.5M 48 4
cleder
pygeoif

Basic implementation of the __geo_interface__ 🌐️

350K 71 29
Zac-HD
hypothesmith

Hypothesis strategies for generating Python programs, something like CSmith

88K 111 10
teilomillet
ordeal

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

23K 1 0
democritus-project
d8s-hypothesis

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

17K 0 1
pckroon
hypothesis-networkx

Hypothesis strategy to generate NetworkX graphs.

14K 23 4
Zac-HD
hypofuzz

Adaptive fuzzing of Hypothesis tests

9K 115 6
lycantropos
hypothesis-geometry

`hypothesis` strategies for geometries

5K 13 0
tefx
invar-tools

AI-native software engineering tools with design-by-contract verification

4K 2 1
lycantropos
hypothesis-sqlalchemy

hypothesis strategies for generating SQLAlchemy objects

3K 30 9
kadenmc
agentic-experiments

Hypothesis-first experiment tracking for agent-driven ML research, wired into Claude Code.

1K 1 0
maximkulkin
hypothesis-regex

Hypothesis extension to allow generating strings based on regex

713 26 2
uber
hypothesis-gufunc

Extension to hypothesis for testing numpy general universal functions

701 37 5
Tefx
python-invar

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

606 2 1
karlicoss
orger

Converts data into org-mode

511 338 11
ph4r05
booltest

BoolTest - polynomial randomness tester

502 10 7
j4ngzzz
nightjar-verify

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

284 0 0
tefx
invar-runtime

Lightweight runtime contracts for Invar projects

272 2 1
hugorut
neuralcli

A command line neural network

228 143 14
yang-zhang
stat-tests

Easy-to-use statistical tests in Python

199 2 0
chobeat
hypothesis-csv

Extension for the hypothesis framework to support the generative testing with CSV input

176 25 0
ligurio
lark-grammars

Grammars suitable for lark parser and Hypothesis

173 54 4
j4ngzzz
nightjarzzz

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

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