Alternatives and similar repositories for hypothesmith:

Users that are interested in hypothesmith are comparing it to the libraries listed below

• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆85Updated last week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated this week
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆177Updated last week
• ambv / retype
  Re-apply type annotations from .pyi stubs to your codebase.
  ☆142Updated 2 years ago
• emmatyping / python-typecheckers
  A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)
  ☆63Updated 2 years ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated last year
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆192Updated 3 weeks ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆134Updated 8 months ago
• 15r10nk / pysource-minimize
  minimize python source code to find bugs more easily
  ☆34Updated last week
• asottile / flake8-typing-imports
  flake8 plugin which checks that typing imports are properly guarded
  ☆48Updated 3 weeks ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆164Updated last week
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆79Updated 2 years ago
• quora / pyanalyze
  A Python type checker
  ☆357Updated 2 weeks ago
• python / typing-council
  Decisions by the Python Typing Council
  ☆47Updated 5 months ago
• asottile / importtime-waterfall
  Generate waterfalls from `-Ximporttime` tracing.
  ☆115Updated 3 weeks ago
• brettcannon / mousebender
  Create reproducible installations for a virtual environment from a lock file
  ☆83Updated last week
• asottile-archive / flake8-2020
  flake8 plugin which checks for misuse of `sys.version` or `sys.version_info`
  ☆64Updated last year
• 15r10nk / pysource-codegen
  generate random python code to test linter/formatter/and other tools
  ☆42Updated last week
• asottile / tokenize-rt
  A wrapper around the stdlib `tokenize` which roundtrips.
  ☆52Updated 3 weeks ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last week
• dlint-py / dlint
  Dlint is a tool for encouraging best coding practices and helping ensure Python code is secure.
  ☆164Updated 4 months ago
• spookylukey / pyastgrep
  Grep Python Abstract Syntax Trees (AST) using XPath
  ☆93Updated 2 months ago
• takluyver / astsearch
  Intelligently search in Python code
  ☆67Updated last year
• ChrisBeaumont / smother
  coverage, just moreso
  ☆42Updated 2 years ago
• brandtbucher / pycapi
  Over 600 fast Python bindings to the CPython C API. 🤯
  ☆59Updated 6 months ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆75Updated 6 months ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆240Updated this week
• Parquery / icontract
  Design-by-contract in Python3 with informative violation messages and inheritance
  ☆355Updated 5 months ago