S2-group / experiment-runnerLinks
Tool for the automatic orchestration of experiments targeting software systems
☆17Updated 3 weeks ago
Alternatives and similar repositories for experiment-runner
Users that are interested in experiment-runner are comparing it to the libraries listed below
Sorting:
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated last week
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Updated 2 months ago
- Repository to host the GRAPE code developed by the BDS group☆13Updated 8 months ago
- ☆31Updated 5 months ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated 3 months ago
- An open-source course on constraint solving☆25Updated 3 months ago
- Dynamic analysis framework for Python☆81Updated last week
- ☆17Updated 9 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated last year
- Python Bindings for the Probabilistic Model Checker Storm☆39Updated this week
- Unified Maude model-checking tool☆13Updated this week
- Verimag Polyhedra Library☆18Updated 9 months ago
- ☆20Updated 2 years ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆331Updated this week
- Implementing Halide's TRS inside of EGG☆34Updated 3 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Updated 2 weeks ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- ☆20Updated 2 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆25Updated last year
- A tool for deductive verification of Python programs based on Dafny☆28Updated 4 years ago
- `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…☆24Updated 3 years ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Updated 4 years ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆50Updated 3 weeks ago
- ☆21Updated 3 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆24Updated 3 years ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A Python model checking package☆69Updated last year
- PC-miner tool for program chairs☆29Updated last month
- A python library to manipulate formal languages and various automata☆58Updated 5 months ago