S2-group / experiment-runner
Tool for the automatic orchestration of experiments targeting software systems
☆13Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for experiment-runner
- ☆15Updated 3 months ago
- A set of instruments to design the sustainability-quality concerns at the software architecture level, and define and operationalize them☆13Updated last month
- ☆13Updated last year
- Explainable Constraint Solving - A Hands-On Tutorial☆11Updated 2 weeks ago
- ☆8Updated this week
- behavior tree verification☆13Updated last month
- Language bindings for Maude☆19Updated 7 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆17Updated 2 years ago
- SAT solver for education☆25Updated 2 years ago
- A package for compositional system analysis and design☆19Updated last month
- Utilities for constructing a large dataset of LLVM IR☆15Updated 3 months ago
- ☆10Updated 2 years ago
- Python bindings for the egg-smol rust library☆65Updated this week
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆11Updated 7 months ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆24Updated 3 months ago
- Dynamic modeling for business, economics, and ecology using the system dynamics approach☆21Updated 7 months ago
- Implementation of SGE Algorithm in Python 3☆17Updated 6 months ago
- ☆13Updated this week
- program synthesis is possible☆39Updated 5 years ago
- A framework for working with inference rules.☆10Updated 3 years ago
- Rigorous Global Branch-and-Bound Optimizer☆21Updated 6 months ago
- Learning platform for category theory in python☆15Updated this week
- Systems definitions in Julia☆42Updated this week
- A fast and efficient type assistant for Python, including tensor shape inference☆11Updated this week
- Python bindings for egg☆47Updated last year
- Metamath verifier in Python☆34Updated 7 months ago
- A distributed systems framework used running distributable workloads.☆18Updated 2 months ago
- The Cubicle model checker☆13Updated 8 months ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated last year
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated 2 weeks ago