ChrisTimperley / comby-python

Related projects: ⓘ

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆94Updated 7 months ago
• 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
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆56Updated 2 years ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆10Updated last year
• utk-se / WorldSyntaxTree
  Language-agnostic parsing of World of Code repositories
  ☆20Updated last year
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆285Updated 5 months ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆123Updated 2 months ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆81Updated last year
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆29Updated last year
• mbdevpl / typed-astunparse
  Python 3 AST unparser with type comments support.
  ☆29Updated 4 years ago
• metadsl / python-code-data
  Translate Python's bytecode to data and back again...
  ☆18Updated 3 weeks ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆224Updated 3 weeks ago
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆51Updated this week
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated 3 weeks ago
• pschanely / contractual-semver
  Contractual Semver
  ☆25Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆40Updated 2 weeks ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated 2 months ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆45Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆56Updated 3 weeks ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆21Updated last year
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆38Updated 3 weeks ago
• numba / numba-rvsdg
  Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.
  ☆15Updated 2 weeks ago
• se2p / FlaPy
  A Tool for Mining Flaky Tests at Scale
  ☆15Updated this week
• spookylukey / pyastgrep
  Grep Python Abstract Syntax Trees (AST) using XPath
  ☆85Updated last month