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
  ☆104Updated last year
• 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
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 3 weeks ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆95Updated this week
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆60Updated 2 years ago
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆14Updated 2 weeks ago
• caterinaurban / Typpete
  ☆37Updated 5 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆42Updated last year
• bannsec / pySym
  Python Symbolic Execution
  ☆69Updated 5 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 11 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆36Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆96Updated 3 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆52Updated 6 months ago
• fredfeng / Trinity
  ☆25Updated 2 months ago
• semgrep / pfff
  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…
  ☆184Updated 2 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆67Updated 3 weeks ago
• saltudelft / type4py
  Type4Py: Deep Similarity Learning-Based Type Inference for Python
  ☆65Updated last year
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 6 months ago
• SoftwareUnderstanding / inspect4py
  Static code analysis package for Python repositories
  ☆31Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆34Updated last month
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated last month
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆74Updated 7 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated last year
• agroce / universalmutator
  Regexp based tool for mutating generic source code across numerous languages
  ☆141Updated 11 months ago