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
  ☆99Updated last week
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆191Updated this week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆81Updated last week
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆195Updated 3 weeks ago
• emmatyping / python-typecheckers
  A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)
  ☆69Updated 3 years ago
• ambv / retype
  Re-apply type annotations from .pyi stubs to your codebase.
  ☆145Updated 3 years ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆256Updated 3 years ago
• quora / pyanalyze
  A Python type checker
  ☆376Updated 2 weeks ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 4 years ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated 2 weeks ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆81Updated last year
• Parquery / icontract
  Design-by-contract in Python3 with informative violation messages and inheritance
  ☆385Updated this week
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• dusty-phillips / match-variant
  Python variant types that work with match
  ☆54Updated last year
• kensho-technologies / pytest-annotate
  Generate PyAnnotate annotations from your pytest tests.
  ☆111Updated 3 years ago
• JelleZijlstra / typeshed_client
  Retrieve information from typeshed and other typing stubs
  ☆29Updated last month
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆171Updated last week
• asottile / importtime-waterfall
  Generate waterfalls from `-Ximporttime` tracing.
  ☆122Updated 3 weeks ago
• asottile / tokenize-rt
  A wrapper around the stdlib `tokenize` which roundtrips.
  ☆59Updated 3 weeks ago
• Stewori / pytypes
  Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
  ☆201Updated 2 years ago
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆43Updated 2 years ago
• sdispater / mixology
  A generic dependency-resolution library written in pure Python
  ☆83Updated 5 years ago
• markshannon / pep622-critique
  Put all the objections to PEP 622 in one place.
  ☆32Updated 5 years ago
• di / pip-api
  An unofficial, importable pip API
  ☆118Updated 2 weeks ago
• CodyKochmann / battle_tested
  Fully automated python fuzzer built to test if code actually is production ready in seconds.
  ☆111Updated 7 months ago
• brandtbucher / pycapi
  Over 600 fast Python bindings to the CPython C API. 🤯
  ☆62Updated last year
• python / typed_ast
  Modified fork of CPython's ast module that parses `# type:` comments
  ☆232Updated 2 years ago
• brettcannon / mousebender
  Create reproducible installations for a virtual environment from a lock file
  ☆85Updated 2 months ago
• boxed / hammett
  Fast python test runner, compatible with a subset of pytest
  ☆94Updated last year