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:
- ☆17Updated 6 months ago
- Repository to host the GRAPE code developed by the BDS group☆13Updated 5 months ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆24Updated 9 months ago
- Evolutionary decision trees☆11Updated 4 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 3 months ago
- An open-source course on constraint solving☆24Updated 3 weeks ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆48Updated last week
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- ☆20Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- Aeon programming language☆23Updated 2 weeks ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 4 years ago
- egraph on top of sqlite☆12Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 3 years ago
- Implementing Halide's TRS inside of EGG☆33Updated 2 years ago
- ☆30Updated 2 months ago
- ☆16Updated 2 years ago
- A SyGuS Solver☆30Updated 5 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 9 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆17Updated last year
- ☆19Updated 2 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 3 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 10 months ago
- Verimag Polyhedra Library☆18Updated 7 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago