Alternatives and similar repositories for synox

Users that are interested in synox are comparing it to the libraries listed below

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17Updated 3 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 4 months ago
• aatxe / oxide
  The essence of Rust.
  ☆132Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 3 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 5 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 4 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆43Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆78Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated 2 weeks ago
• UCSD-PL / proverbot9001
  ☆43Updated last month
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆51Updated 3 weeks ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated 11 months ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Updated 3 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated last month
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 4 years ago
• julesjacobs / boa
  Partition refinement
  ☆16Updated 2 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆42Updated 3 weeks ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆51Updated 2 months ago
• ssomayyajula / linear
  Linear Algebra Done...Lean
  ☆18Updated 7 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆24Updated 3 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆39Updated 3 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago