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
  ☆65Updated last year
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 7 months ago
• stanford-cs242 / f18-assignments
  ☆22Updated 6 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 3 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆29Updated 2 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆31Updated this week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆59Updated last month
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• wilbowma / pl-thesaurus
  ☆88Updated 3 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆73Updated 5 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆66Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• justinpombrio / synless
  Synless is a language-agnostic tree editor.
  ☆21Updated 2 weeks ago
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 2 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated last week
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆64Updated 5 years ago