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:
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Updated this week
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- Repository to host the GRAPE code developed by the BDS group☆12Updated 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…☆18Updated last month
- An open-source course on constraint solving☆24Updated 2 months ago
- Aeon programming language☆19Updated last week
- ☆16Updated last year
- Evolutionary decision trees☆11Updated 3 months ago
- ☆30Updated last month
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 10 months ago
- ☆16Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 3 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- ☆17Updated 5 months ago
- ☆19Updated 2 years ago
- Verimag Polyhedra Library☆18Updated 5 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 10 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆23Updated 7 months ago
- Regular expression for form validations synthesizer☆15Updated 5 months ago
- ☆13Updated 3 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆13Updated this week
- Unified Maude model-checking tool☆12Updated 2 months ago
- ☆23Updated last week
- ☆21Updated 2 weeks ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 7 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆36Updated this week
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆27Updated 2 months ago