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
  ☆207Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆76Updated this week
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆67Updated 2 weeks ago
• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆38Updated last year
• mlir-rs / melior
  The rustic MLIR bindings in Rust
  ☆441Updated this week
• LaurentMazare / ug
  Experimental compiler for deep learning models
  ☆67Updated 2 weeks ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆137Updated 3 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• memoryleak47 / slotted-egraphs
  ☆31Updated 3 weeks ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆40Updated last week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆194Updated last week
• RustyBamboo / rust-grad
  Automatic differentiation in Rust with WGPU support
  ☆24Updated 4 years ago
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆97Updated last year
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated 4 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆46Updated 4 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆108Updated last month
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 3 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆237Updated 3 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆76Updated 2 weeks ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆69Updated last year
• termoshtt / link_cuda_kernel
  HowTo: Compile CUDA with nvcc, and link to Rust
  ☆51Updated 7 years 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…
  ☆155Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆117Updated this week
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆17Updated 3 years ago
• cfallin / waffle
  ☆58Updated 2 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• bytecodealliance / regalloc2
  A new register allocator
  ☆237Updated last week
• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆45Updated this week
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago