S2-group / experiment-runnerLinks
Tool for the automatic orchestration of experiments targeting software systems
☆17Updated last week
Alternatives and similar repositories for experiment-runner
Users that are interested in experiment-runner are comparing it to the libraries listed below
Sorting:
- Repository to host the GRAPE code developed by the BDS group☆13Updated 6 months ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Updated 4 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆21Updated 4 months ago
- ☆31Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- A framework for modular construction and evaluation of metaheuristics.☆13Updated 6 months ago
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated 2 weeks ago
- A Python package for automata theory.☆58Updated last year
- ☆17Updated 7 months ago
- egraph <-> json☆15Updated last month
- An open-source course on constraint solving☆24Updated last month
- Unified Maude model-checking tool☆12Updated last month
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆17Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 7 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆49Updated 2 weeks ago
- Explainable Constraint Solving - A Hands-On Tutorial☆22Updated last week
- ☆16Updated 2 years ago
- ☆19Updated 2 years ago
- Verimag Polyhedra Library☆18Updated 7 months ago
- Regular expression for form validations synthesizer☆15Updated 7 months ago
- Specify and synthesize systems using symbolic algorithms☆51Updated last year
- Aeon programming language☆24Updated 2 weeks ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆313Updated last week
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 3 years ago
- ☆10Updated 3 years ago
- A python library to manipulate formal languages and various automata☆56Updated 3 months ago
- ☆11Updated 5 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- The Termination Problem Database☆29Updated 3 months ago