Alternatives and similar repositories for comby-python:

Users that are interested in comby-python are comparing it to the libraries listed below

• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆98Updated 11 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated 2 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆39Updated 10 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆67Updated 2 months ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆300Updated 10 months ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆83Updated this week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated this week
• gitbugactions / gitbugactions
  ⚙️ A tool to build coding benchmarks with GitHub Actions ⚙️
  ☆18Updated this week
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆32Updated last week
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated last month
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆11Updated last year
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆43Updated 10 months ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆60Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆65Updated 2 months ago
• ivan111 / vpyast
  Python AST Visualizer
  Updated 5 years ago
• dannykopping / b3
  strace to json parser
  ☆36Updated 5 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆175Updated 3 weeks ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆78Updated 2 years ago
• matiasb / python-unidiff
  Unified diff python parsing/metadata extraction library
  ☆253Updated 5 months ago
• jeanralphaviles / comment_parser
  Python module to extract comments from source code files of various types.
  ☆101Updated last month
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated this week
• danhper / bigcode-tools
  Set of tools to help working with "Big Code"
  ☆43Updated 2 years ago
• LFrobeen / intellij-datalog
  ☆31Updated 2 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆21Updated 2 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆162Updated this week
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆63Updated last year
• balayette / ast-diff
  Compute mappings between arbitrary trees.
  ☆15Updated 5 years ago