S2-group / experiment-runnerLinks
Tool for the automatic orchestration of experiments targeting software systems
☆17Updated last month
Alternatives and similar repositories for experiment-runner
Users that are interested in experiment-runner are comparing it to the libraries listed below
Sorting:
- ☆20Updated 2 years ago
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated 2 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆10Updated last month
- ☆17Updated 8 months 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 5 months ago
- Evolutionary decision trees☆11Updated 6 months ago
- Repository to host the GRAPE code developed by the BDS group☆13Updated 7 months ago
- ☆20Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated this week
- 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 month
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆24Updated 11 months ago
- A Modern Probabilistic Model Checker☆158Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated 2 months ago
- ☆31Updated 4 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆50Updated this week
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 5 months ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- A SyGuS Solver☆30Updated 7 months ago
- Automatic theorem proving via natural language reasoning with LLMs☆20Updated 7 months ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- The Termination Problem Database☆30Updated 4 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Updated 3 years ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- Verimag Polyhedra Library☆18Updated 9 months ago
- A tool for deductive verification of Python programs based on Dafny☆26Updated 4 years ago
- egraph <-> json☆15Updated last week