Alternatives and similar repositories for magpie

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

• coinse / pyggi
  Python General Framework for Genetic Improvement [Version 2]
  ☆30Updated 2 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆206Updated 3 weeks 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…
  ☆75Updated last year
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆25Updated this week
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated 2 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• micheletufano / DeepMutation
  ☆12Updated 2 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated last week
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 5 years ago
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆49Updated 3 weeks ago
• awsm-research / PyExplainer
  PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)
  ☆30Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated last week
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆14Updated 4 months ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago
• sola-st / DiffSearch
  DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…
  ☆19Updated 2 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 7 years ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated 2 years ago
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 3 years ago
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆32Updated 11 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆61Updated 2 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆69Updated last year
• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 years ago
• caterinaurban / Lyra
  ☆31Updated 5 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆56Updated 8 months ago
• jordiae / exebench
  ☆37Updated 3 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆57Updated 3 years ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆25Updated 8 months ago