S2-group / experiment-runner

Related projects ⓘ

Alternatives and complementary repositories for experiment-runner

• opencompl / egg-tactic-code
  ☆13Updated last year
• eth-sri / proof-sharing
  CAV'22 paper to speed up Neural Network Verification.
  ☆14Updated last year
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆11Updated last year
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆21Updated 5 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• erp12 / CodeBuildingGeneticProgramming-ProtoType
  ☆10Updated 2 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆17Updated 2 years ago
• tdurieux / EnergiBridge
  ☆13Updated 3 months ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 7 months ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆11Updated 3 weeks ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• leanprover / presentations
  lean-related presentations
  ☆16Updated 9 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 11 months ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆49Updated last month
• NUS-Math-Formalization / coxeter
  ☆12Updated 4 months ago
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆12Updated last month
• ammkrn / timelib
  A date and time library for Lean 4
  ☆11Updated 6 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆35Updated this week
• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆10Updated last month
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated 11 months ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆15Updated 6 months ago
• nfzhou / lp-contest
  ☆10Updated 3 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆22Updated 5 months ago
• ichorid / ringsat
  CDCL SAT-solver for GPUs
  ☆9Updated 7 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆19Updated 7 months ago