bloa / magpieLinks
☆13Updated last month
Alternatives and similar repositories for magpie
Users that are interested in magpie are comparing it to the libraries listed below
Sorting:
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆21Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 7 months ago
- A Tool for Multi-Paradigm Modeling☆24Updated 11 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆71Updated 9 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- An Automata Learning Library Written in Python☆189Updated last week
- A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…☆15Updated 3 years ago
- Python General Framework for Genetic Improvement [Version 2]☆30Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆43Updated 2 weeks ago
- Dynamic Analysis for Concurrent Programs☆26Updated 10 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- A framework for testing compilers' type checkers☆17Updated 9 months ago
- A powerful relational representation of source code☆32Updated 2 years ago
- A framework for testing compilers' type checkers☆55Updated last year
- Debugging Prototype Avicenna☆10Updated 6 months ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated 2 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- 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
- 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 last year
- Dynamic detection of likely invariants☆232Updated last week
- A model-based API Fuzzer for SMT Solvers.☆14Updated last week
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- ProgQuery is a system to extract useful syntactic and semantic information from source code programs and store it in a graph database for…☆17Updated 7 months ago
- Inferring models of systems from observations of their behavior☆85Updated 2 years ago
- Repository of benchmarks for SYNTCOMP☆13Updated 3 months ago
- PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)☆30Updated last year
- Heavyweight Python dynamic analysis framework☆17Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- ☆12Updated 2 years ago