rachitnigam / runt

Related projects ⓘ

Alternatives and complementary repositories for runt

• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆87Updated 2 weeks ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆54Updated last week
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 2 weeks ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆29Updated 3 weeks ago
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆52Updated last year
• femtomc / mlir-sys
  Rust bindings to the MLIR C API.
  ☆59Updated last month
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆60Updated 2 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆33Updated this week
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• cfallin / waffle
  ☆59Updated 2 months ago
• nikis05 / derive-visitor
  ☆25Updated 4 months ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆51Updated 10 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated last month
• komora-io / optimistic-cell
  ☆17Updated last year
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆43Updated 9 months ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆47Updated last month
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• dtolnay / oqueue
  Non-interleaving multithreaded output queue
  ☆71Updated this week
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• jonhoo / sento
  A lock-free, append-only atomic pool.
  ☆66Updated 2 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆48Updated 3 weeks ago
• dtolnay / bufsize
  bytes::BufMut implementation to count buffer size
  ☆19Updated this week
• Amanieu / seqlock
  A reader-writer lock that provides extremely fast read access without starving writers
  ☆74Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆32Updated 2 years ago
• SchrodingerZhu / bench_suite
  ☆19Updated 3 years ago
• yoshuawuyts / parallel-future
  structured parallel execution for async Rust
  ☆30Updated 2 months ago
• matklad / properly-concurrent
  ☆24Updated 4 months ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆20Updated 6 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 6 months ago