Alternatives and similar repositories for cuq

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

• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆61Updated 2 weeks ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆83Updated 2 weeks ago
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆90Updated this week
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆49Updated this week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆84Updated last week
• harp-lab / gdlog
  ☆87Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆30Updated 4 months ago
• memoryleak47 / slotted-egraphs
  ☆38Updated 2 weeks ago
• dcao / babble
  library learning w egraphs
  ☆25Updated 2 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆291Updated 3 weeks ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆21Updated 11 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆117Updated 5 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆67Updated 9 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆150Updated 8 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆207Updated this week
• AnHaechan / ai-compilers-study-material
  A collection of study materials for AI compilers and systems.
  ☆48Updated 2 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• nicksenger / glowstick
  Gradual typing for tensor shapes in Rust
  ☆74Updated last month
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆44Updated 3 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated this week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆66Updated this week
• ChezJrk / verified-scheduling
  ☆44Updated 3 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated this week
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 5 months ago