Alternatives and similar repositories for descend

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

• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆249Updated this week
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆83Updated last week
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆69Updated 2 months ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆124Updated last month
• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆42Updated 2 years ago
• mlir-rs / melior
  The rustic MLIR bindings in Rust
  ☆470Updated this week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆107Updated 3 years ago
• memoryleak47 / slotted-egraphs
  ☆38Updated last week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆286Updated 3 weeks ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆150Updated 7 months ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆72Updated 8 months ago
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆281Updated this week
• bytecodealliance / regalloc2
  A new register allocator
  ☆248Updated last week
• RustyBamboo / rust-grad
  Automatic differentiation in Rust with WGPU support
  ☆24Updated 4 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆44Updated 3 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• cfallin / waffle
  ☆58Updated 6 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆102Updated 2 months ago
• sdiehl / compiler-crates
  Minimal examples of crates useful for compiler development
  ☆25Updated this week
• egraphs-good / egglog
  egraphs + datalog!
  ☆674Updated this week
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆207Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 7 months ago
• termoshtt / link_cuda_kernel
  HowTo: Compile CUDA with nvcc, and link to Rust
  ☆51Updated 7 years ago
• seb-v / amd_challenge_solutions
  ☆18Updated 7 months ago
• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆157Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆49Updated last week
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆17Updated 3 years ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆25Updated last year
• AnHaechan / ai-compilers-study-material
  A collection of study materials for AI compilers and systems.
  ☆48Updated 2 months ago
• LaurentMazare / ug
  Experimental compiler for deep learning models
  ☆74Updated 4 months ago