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
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated last month
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated 2 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆28Updated 3 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17Updated 3 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• UCSD-PL / proverbot9001
  ☆43Updated 3 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆43Updated 4 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 3 months ago
• julesjacobs / boa
  Partition refinement
  ☆16Updated 2 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆44Updated this week
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• david-christiansen / ssft24
  ☆19Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆76Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Updated 3 years ago
• aatxe / oxide
  The essence of Rust.
  ☆129Updated 3 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated this week
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated 2 months ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆41Updated this week
• digama0 / lean-sys
  Rust bindings for the Lean 4 proof assistant
  ☆40Updated last month
• dcao / babble
  library learning w egraphs
  ☆21Updated 2 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆28Updated 2 weeks ago
• LASER-UMASS / TacTok
  The TacTok automated Coq proof script synthesis tool
  ☆17Updated last year
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆80Updated last year