gvilums / ptoxide

Related projects ⓘ

Alternatives and complementary repositories for ptoxide

• femtomc / mlir-sys
  Rust bindings to the MLIR C API.
  ☆59Updated 2 months ago
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆89Updated 3 weeks ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 2 weeks ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆33Updated 2 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…
  ☆71Updated 5 months ago
• RustyBamboo / rust-grad
  Automatic differentiation in Rust with WGPU support
  ☆23Updated 3 years ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆22Updated last month
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆28Updated 7 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆60Updated 2 years ago
• pvdrz / sire
  A symbolic evaluator for MIR
  ☆19Updated 4 years ago
• egraphs-good / eggcc
  ☆52Updated this week
• tormol / map_in_place
  A rust library for reusing heap allocations
  ☆23Updated 4 years ago
• embive / embive
  A low-level sandboxing library for RISC-V bytecode
  ☆16Updated this week
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆43Updated 9 months ago
• auxoncorp / bounded-registers
  Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
  ☆51Updated 3 years ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆30Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• wasm-superopt / rocinante
  ☆10Updated 4 years ago
• rust-cuda / wg
  rust-cuda working group
  ☆65Updated 5 years ago
• sarah-quinones / dynstack
  ☆17Updated last month
• auxoncorp / selfe-sys
  A generated thin wrapper around libsel4.a, with supporting subcrates.
  ☆11Updated 2 years ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆23Updated 3 years ago
• geobacter-rs / geobacter
  A single source Rust co-processor programming framework; runtime && Rust custom drivers
  ☆43Updated last year
• chuckcscccl / rustlr
  LR-style Parser Generator
  ☆17Updated last month
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆18Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated this week
• schell / dagga
  DAG scheduler with nice constraint semantics
  ☆20Updated 2 months ago
• zshipko / llama
  Rust LLVM bindings
  ☆31Updated last year