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:
- Repository to host the GRAPE code developed by the BDS group☆13Updated 8 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Updated 2 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆50Updated 3 weeks ago
- ☆17Updated 9 months ago
- A tool for deductive verification of Python programs based on Dafny☆28Updated 4 years ago
- Evolutionary decision trees☆11Updated 7 months ago
- Pedagogical first-order prover in Python☆80Updated 8 months ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated last year
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Updated 4 years ago
- Aeon programming language☆25Updated last week
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last year
- ☆31Updated 5 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- pandoc-like tool for symbolic regression expressions☆14Updated last year
- Public Repo for Software Security Course@IST☆21Updated 7 years ago
- An open-source course on constraint solving☆25Updated 3 months ago
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated last week
- The Termination Problem Database☆29Updated 5 months ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Verimag Polyhedra Library☆18Updated 9 months ago
- A Python library for logic formalisms representation and manipulation.☆16Updated 2 years ago
- Implementation of higher-order logic in Python☆66Updated 2 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…☆22Updated 6 months ago
- Implementing Halide's TRS inside of EGG☆34Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- ☆16Updated 2 years ago
- Metamath verifier in Python☆41Updated 8 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- A framework for modular construction and evaluation of metaheuristics.☆13Updated 2 months ago