Zac-HD / hypothesmith

Related projects: ⓘ

• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆77Updated 7 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆69Updated 2 months ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 2 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated 2 months ago
• ethanhs / python-typecheckers
  A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)
  ☆61Updated 2 years ago
• ambv / retype
  Re-apply type annotations from .pyi stubs to your codebase.
  ☆141Updated 2 years ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆161Updated this week
• kensho-technologies / pytest-annotate
  Generate PyAnnotate annotations from your pytest tests.
  ☆109Updated 2 years ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆49Updated this week
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆77Updated 2 years ago
• 15r10nk / pysource-minimize
  minimize python source code to find bugs more easily
  ☆27Updated last month
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆76Updated 2 weeks ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆81Updated last year
• ChrisBeaumont / smother
  coverage, just moreso
  ☆43Updated last year
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated last year
• asottile / flake8-typing-imports
  flake8 plugin which checks that typing imports are properly guarded
  ☆48Updated 3 weeks ago
• hchasestevens / astpath
  A command-line search utility for Python ASTs using XPath syntax.
  ☆245Updated 2 years ago
• di / pip-api
  An unofficial, importable pip API
  ☆110Updated last month
• seddonym / grimp
  Builds a graph of a Python project's internal dependencies.
  ☆54Updated last week
• kavigupta / ast_scope
  Annotator that adds scope information to an ast
  ☆22Updated 2 months ago
• spookylukey / pyastgrep
  Grep Python Abstract Syntax Trees (AST) using XPath
  ☆85Updated last month
• asottile / astpretty
  Pretty print the output of python stdlib `ast.parse`.
  ☆189Updated 3 weeks ago
• takluyver / astsearch
  Intelligently search in Python code
  ☆67Updated 6 months ago
• sdispater / mixology
  A generic dependency-resolution library written in pure Python
  ☆79Updated 4 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆224Updated 2 weeks ago
• 15r10nk / pysource-codegen
  generate random python code to test linter/formatter/and other tools
  ☆35Updated last month
• brandtbucher / pycapi
  Over 600 fast Python bindings to the CPython C API. 🤯
  ☆59Updated 2 weeks ago
• hauntsaninja / useful_types
  Useful types for Python
  ☆88Updated 2 months ago
• dusty-phillips / match-variant
  Python variant types that work with match
  ☆48Updated 5 months ago
• CodyKochmann / battle_tested
  Fully automated python fuzzer built to test if code actually is production ready in seconds.
  ☆103Updated 2 months ago