Alternatives and similar repositories for hypothesmith

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

• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆81Updated last month
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆107Updated last month
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆192Updated 3 weeks ago
• emmatyping / python-typecheckers
  A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)
  ☆70Updated 2 months ago
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆196Updated last week
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆82Updated last year
• quora / pyanalyze
  A Python type checker
  ☆376Updated 2 months ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 4 years ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆254Updated 3 years ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆172Updated last month
• ambv / retype
  Re-apply type annotations from .pyi stubs to your codebase.
  ☆146Updated 3 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆270Updated this week
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• Parquery / icontract
  Design-by-contract in Python3 with informative violation messages and inheritance
  ☆394Updated this week
• lark-parser / lark_cython
  Cython plugin for Lark, reimplementing the LALR parser & lexer for better performance
  ☆51Updated 6 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆142Updated last year
• takluyver / astsearch
  Intelligently search in Python code
  ☆66Updated last year
• brettcannon / mousebender
  Create reproducible installations for a virtual environment from a lock file
  ☆85Updated 2 months ago
• JelleZijlstra / typeshed_client
  Retrieve information from typeshed and other typing stubs
  ☆30Updated 3 weeks ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆102Updated last week
• brandtbucher / pycapi
  Over 600 fast Python bindings to the CPython C API. 🤯
  ☆62Updated last year
• markshannon / python_formal_semantics
  ☆18Updated 5 years ago
• python / typing-council
  Decisions by the Python Typing Council
  ☆51Updated last year
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆86Updated 3 years ago
• dusty-phillips / match-variant
  Python variant types that work with match
  ☆54Updated last year
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last week
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆108Updated last year
• mbdevpl / typed-astunparse
  Python 3 AST unparser with type comments support.
  ☆31Updated 6 years ago
• asottile / importtime-waterfall
  Generate waterfalls from `-Ximporttime` tracing.
  ☆124Updated last month
• tonybaloney / spew
  A tool for generating random, syntactically-correct Python code. Designed for fuzzing and testing of tools that parse Python code.
  ☆23Updated 2 years ago