Hypothesis strategies for generating Python programs, something like CSmith
☆111Feb 16, 2024Updated 2 years ago
Alternatives and similar repositories for hypothesmith
Users that are interested in hypothesmith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- textwrap.dedent with t-string support☆23Dec 15, 2025Updated 4 months ago
- Tool for fixing trivial problems with your code.☆65Sep 30, 2023Updated 2 years ago
- GitHub Action that runs Schemathesis tests☆14Mar 21, 2026Updated last month
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- Programmable, human-readable inlining of Python code☆28Dec 10, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 3 years ago
- API to interact with the python pyproject.toml based projects☆25Updated this week
- Property-based tests for the Python standard library (and builtins)☆27Oct 31, 2021Updated 4 years ago
- Tools to generate test data from JSON schemata with Hypothesis☆278Dec 5, 2025Updated 4 months ago
- Adaptive fuzzing of Hypothesis tests☆115Apr 22, 2026Updated last week
- Tensor-like types – with variadic shapes – that support both static and runtime type checking, and convenient parsing☆20Jan 9, 2026Updated 3 months ago
- Run Python type checkers over millions of lines of code☆109Apr 20, 2026Updated last week
- Better version of repr/reprlib for short, cheap string representations in Python☆26Aug 10, 2024Updated last year
- generate random python code to test linter/formatter/and other tools☆54Apr 13, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Highly opinionated linter for Trio code☆27Updated this week
- Python AST that abstracts the underlying Python version☆146Nov 29, 2025Updated 5 months ago
- An analysis tool for Python that blurs the line between testing and type systems.☆1,276Updated this week
- Utilities for refactoring imports in python-like syntax.☆24Updated this week
- Standalone version of pytest's assertion introspection rewrite☆13Nov 26, 2025Updated 5 months ago
- Automatically remove unnecessary `# noqa` comments☆262Updated this week
- Re-apply type annotations from .pyi stubs to your codebase.☆146Aug 14, 2022Updated 3 years ago
- A common base representation of python source code for pylint and other projects☆575Updated this week
- CLI to take the toil out of software development☆16Jan 7, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a GitHub action to install (pre-release) pythons from deadsnakes☆57Updated this week
- Conditional coverage based on any rules you define!☆80Jan 3, 2025Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 months ago
- Shrinkray is a modern multi-format test-case reducer☆300Apr 14, 2026Updated 2 weeks ago
- Grammars suitable for lark parser and Hypothesis☆54Mar 27, 2024Updated 2 years ago
- minimize python source code to find bugs more easily☆49Apr 15, 2026Updated 2 weeks ago
- A command-line search utility for Python ASTs using XPath syntax.☆257Apr 20, 2022Updated 4 years ago
- A pure-Python codified rant aspiring to a world where numbers and types can work together.☆47Feb 27, 2026Updated 2 months ago
- A very minimal implementation of the core idea of Hypothesis☆151Jul 5, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Nov 25, 2023Updated 2 years ago
- ☆50Jan 11, 2026Updated 3 months ago
- Hatch plugin to integrate ProperDocs and infer dependencies into an env☆17Mar 16, 2026Updated last month
- Pretty print the output of python stdlib `ast.parse`.☆198Apr 14, 2026Updated 2 weeks ago
- Infer Python types from JSON data, use them for auto serialisation and parsing☆13Oct 27, 2023Updated 2 years ago
- Store data created during your `pytest` tests execution, and retrieve it at the end of the session, e.g. for applicative benchmarking pur…☆76Nov 13, 2025Updated 5 months ago
- Discussions about problems with the current C Api☆20Oct 15, 2023Updated 2 years ago