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 last year
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 3 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated last week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 5 months ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆125Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 10 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆134Updated last week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆18Updated this week
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆35Updated last month
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated last year
• harp-lab / gdlog
  ☆81Updated 6 months ago
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated this week
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago