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.
  ☆69Updated 9 months ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• bloa / magpie
  ☆14Updated this week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆77Updated 3 months ago
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆45Updated 3 years ago
• micheletufano / DeepMutation
  ☆12Updated 2 years ago
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆47Updated last month
• TruX-DTF / fixminer_source
  Mining Relevant Fix Patterns for Automated Program Repair
  ☆30Updated 2 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 9 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated last year
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆42Updated last year
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated last year
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆205Updated 3 years ago
• soarsmu / BugsInPy
  BugsInPy: Benchmarking Bugs in Python Projects
  ☆116Updated 3 weeks ago
• SpoonLabs / npefix
  Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…
  ☆14Updated 11 months ago
• google-research / runtime-error-prediction
  This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…
  ☆24Updated 2 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆71Updated 2 years ago
• caterinaurban / Libra
  ☆24Updated 4 years ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 7 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆320Updated last year
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• sisl / NNet
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Updated 7 months ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆101Updated last year
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Updated 4 years ago
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 3 years ago
• randriu / synthesis
  ☆23Updated this week
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆25Updated 3 years ago
• asolarlez / sketch-backend
  ☆46Updated last year