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
  ☆102Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆87Updated this week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆75Updated 2 months ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆21Updated 2 years ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆16Updated 3 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆309Updated last year
• gyermolenko / awesome-python-ast
  Python tools, libraries and resources about AST (as in Abstract Syntax Trees)
  ☆94Updated 2 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 4 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆60Updated 2 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 8 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• bannsec / pySym
  Python Symbolic Execution
  ☆68Updated 5 years ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆94Updated 3 years ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆44Updated 3 months ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• LFrobeen / intellij-datalog
  ☆31Updated 3 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last week
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆80Updated 2 years ago
• cedricrupb / code_diff
  Fast AST based code differencing in Python
  ☆34Updated 4 months ago
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆40Updated 5 years ago
• lascam-UFU / automatic-diff-dissection
  ADD extracts features from patches such as repair patterns.
  ☆13Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆41Updated last week
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆33Updated last year
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆245Updated last week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 6 months ago