Alternatives and similar repositories for cuq

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

• nicksenger / glowstick
  Gradual typing for tensor shapes in Rust
  ☆74Updated 3 months ago
• e3ntity / nanograd
  ☆56Updated 4 months ago
• mtantaoui / Integrate
  a small, lightweight crate for numerical integration written in Rust.
  ☆111Updated 2 months ago
• harp-lab / gdlog
  ☆83Updated last year
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated last month
• HnimNart / deeplearning
  ☆53Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated this week
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆88Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 7 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆56Updated 2 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆45Updated 2 weeks ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 10 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆77Updated 2 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• maplant / scheme-rs
  Embedded Scheme for the Async Rust Ecosystem
  ☆223Updated this week
• jeprinz / pantograph
  ☆95Updated 8 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆46Updated 5 months ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆63Updated 8 months ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆38Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆78Updated this week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆66Updated 2 months ago
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆20Updated 9 months ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆39Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆106Updated last month
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated last year
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆113Updated 3 weeks ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 3 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆75Updated last week