Hypothesis strategies for generating Python programs, something like CSmith
☆115Feb 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☆24Dec 15, 2025Updated 6 months ago
- Tool for fixing trivial problems with your code.☆64Sep 30, 2023Updated 2 years ago
- GitHub Action that runs Schemathesis tests☆14Jun 22, 2026Updated last week
- 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 4 years ago
- API to interact with the python pyproject.toml based projects☆25Jun 24, 2026Updated last 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 6 months ago
- A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany☆13Apr 3, 2026Updated 2 months ago
- Adaptive fuzzing of Hypothesis tests☆120May 15, 2026Updated last month
- Tensor-like types – with variadic shapes – that support both static and runtime type checking, and convenient parsing☆20Jan 9, 2026Updated 5 months ago
- Run Python type checkers over millions of lines of code☆111Jun 6, 2026Updated 3 weeks ago
- Better version of repr/reprlib for short, cheap string representations in Python☆26Aug 10, 2024Updated 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.
- generate random python code to test linter/formatter/and other tools☆57Jun 22, 2026Updated last week
- Highly opinionated linter for Trio code☆27Updated this week
- Python AST that abstracts the underlying Python version☆146Jun 24, 2026Updated last week
- An analysis tool for Python that blurs the line between testing and type systems.☆1,297Updated this week
- Utilities for refactoring imports in python-like syntax.☆24May 19, 2026Updated last month
- Standalone version of pytest's assertion introspection rewrite☆13Nov 26, 2025Updated 7 months ago
- Automatically remove unnecessary `# noqa` comments☆263May 19, 2026Updated last month
- 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☆580Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- a GitHub action to install (pre-release) pythons from deadsnakes☆57May 19, 2026Updated last month
- 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 4 months ago
- Shrinkray is a modern multi-format test-case reducer☆370May 25, 2026Updated last month
- Grammars suitable for lark parser and Hypothesis☆54Mar 27, 2024Updated 2 years ago
- minimize python source code to find bugs more easily☆51Jun 25, 2026Updated last week
- A command-line search utility for Python ASTs using XPath syntax.☆258Apr 20, 2022Updated 4 years ago
- A pure-Python codified rant aspiring to a world where numbers and types can work together.☆47Feb 27, 2026Updated 4 months ago
- A very minimal implementation of the core idea of Hypothesis☆155Jul 5, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Two-Level Collaborative Fuzzing for Python Runtimes☆18Nov 25, 2023Updated 2 years ago
- ☆50May 17, 2026Updated last month
- Hatch plugin to integrate ProperDocs and infer dependencies into an env☆17Mar 16, 2026Updated 3 months ago
- Infer Python types from JSON data, use them for auto serialisation and parsing☆13Oct 27, 2023Updated 2 years ago
- Pretty print the output of python stdlib `ast.parse`.☆200May 19, 2026Updated last month
- 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 7 months ago
- Generate waterfalls from `-Ximporttime` tracing.☆136May 19, 2026Updated last month