Alternatives and similar repositories for eth-sri.github.io

Users that are interested in eth-sri.github.io are comparing it to the libraries listed below

• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 10 years ago
• crillab / d4v2
  ☆14Updated 8 months ago
• probing-lab / polar
  ☆17Updated 9 months ago
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆14Updated 6 years ago
• unitn-sml / wmpy
  Reasoning over weighted algebraic and logical constraints
  ☆26Updated this week
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• reudismam / Refazer
  ☆10Updated 6 years ago
• vardigroup / lisa
  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
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated last week
• QuMuLab / dsharp
  ☆20Updated 2 weeks ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• firetto / Walnut
  ☆12Updated last year
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• wenxiwang / neuroback
  ☆13Updated last year
• diprism / perpl
  The PERPL Compiler
  ☆14Updated 3 months ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• diprism / fggs
  Factor Graph Grammars in Python
  ☆13Updated 3 weeks ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆89Updated 2 months ago
• owl-toolkit / owl
  ☆20Updated 2 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆49Updated 10 months ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 8 months ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Updated 3 years ago
• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆35Updated 9 years ago
• wslee / duet
  ☆21Updated 9 months ago
• OPLSS / oplss-notes-2021
  Materials for OPLSS 2021
  ☆11Updated 4 years ago
• asolarlez / sketch-backend
  ☆46Updated 2 weeks ago