Alternatives and similar repositories for pyggi:

Users that are interested in pyggi are comparing it to the libraries listed below

• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆68Updated 2 months ago
• bloa / magpie
  ☆11Updated 3 weeks ago
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆44Updated 2 months ago
• micheletufano / DeepMutation
  ☆11Updated last year
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆43Updated 2 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated last year
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆46Updated 3 years ago
• yilinglou / proFL
  homepage for proFL
  ☆23Updated 3 years ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆31Updated last year
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆39Updated 4 years ago
• JohnnyPeng18 / HiTyper
  This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"
  ☆41Updated last year
• squaresLab / ManyBugs
  ☆16Updated 5 years ago
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆91Updated 8 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…
  ☆69Updated 3 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 2 months ago
• caterinaurban / Lyra
  ☆30Updated 7 months ago
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆15Updated 11 months ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆77Updated last week
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆41Updated last year
• coinse / fonte
  Artifact of a paper “Fonte: Finding Bug Inducing Commits From Failures” (ICSE'23)
  ☆12Updated last year
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆30Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆34Updated last year
• TruX-DTF / TBar
  Template-based Automated Program Repair
  ☆44Updated last year
• TruX-DTF / APR-Efficiency
  ☆13Updated 3 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆32Updated last week
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 8 months ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago