Alternatives and similar repositories for ptoxide

Users that are interested in ptoxide are comparing it to the libraries listed below

• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆44Updated this week
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆69Updated this week
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆41Updated 2 weeks ago
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆65Updated 2 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆127Updated last week
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆177Updated this week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated last week
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆62Updated 2 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 2 months ago
• aatxe / oxide
  The essence of Rust.
  ☆125Updated 3 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 11 months ago
• memoryleak47 / slotted-egraphs
  ☆23Updated this week
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆15Updated 2 years ago
• uwplse / tensat
  Re-implementation of the TASO compiler using equality saturation
  ☆128Updated 3 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆151Updated this week
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆38Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 months ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated last week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆93Updated 2 weeks ago
• lyphyser / deptypes
  ☆17Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• rust-accel / nvptx
  Compile Rust into PTX
  ☆14Updated 5 years ago
• cfallin / waffle
  ☆58Updated 8 months ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆30Updated 8 months ago
• mwillsey / cs265
  Website for CS 265
  ☆29Updated 5 months ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆20Updated 2 weeks ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆83Updated 2 months ago