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
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 7 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆50Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated last year
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• aatxe / oxide
  The essence of Rust.
  ☆125Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last month
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated 3 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated last month
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆45Updated 3 months ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆71Updated 2 weeks ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last week
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17Updated 3 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago