Alternatives and similar repositories for experiment-runner:

Users that are interested in experiment-runner are comparing it to the libraries listed below

• opencompl / egg-tactic-code
  ☆14Updated last year
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆21Updated last month
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 3 months ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆22Updated last month
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last week
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆12Updated 8 months ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆18Updated 5 months ago
• pierg / crome-cgg
  Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
  ☆11Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆40Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 3 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 months ago
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆10Updated 3 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆20Updated 2 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• bloa / magpie
  ☆11Updated 2 months ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆12Updated 2 months ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆18Updated last year
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• UQ-PAC / BASIL
  ☆8Updated this week
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆15Updated 9 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated last month
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆22Updated 2 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago