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
• 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
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated this week
• aatxe / oxide
  The essence of Rust.
  ☆126Updated 3 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆62Updated 8 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆127Updated 2 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 6 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated this week
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated 11 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆33Updated last year
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆165Updated 3 weeks ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17Updated 3 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 3 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆77Updated last month
• UCSD-PL / proverbot9001
  ☆43Updated 5 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated 3 weeks ago