Alternatives and similar repositories for term-rewriting-rs:

Users that are interested in term-rewriting-rs are comparing it to the libraries listed below

• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 9 months ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 6 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆19Updated last year
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 7 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated last week
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆70Updated last month
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆31Updated 2 weeks ago
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆22Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆52Updated last week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆81Updated last week
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆18Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• TiarkRompf / reachability
  ☆44Updated this week
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆57Updated 7 years ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆82Updated 5 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year