rachitnigam / runt

Related projects ⓘ

Alternatives and complementary repositories for runt

• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆60Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• nikis05 / derive-visitor
  ☆25Updated 5 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆29Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆24Updated last month
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆86Updated 3 weeks ago
• ferrilab / ferrilab
  Experimenting with Rust's fundamental data model
  ☆47Updated last month
• zshipko / llama
  Rust LLVM bindings
  ☆31Updated last year
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆16Updated 9 months ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 3 weeks ago
• dtolnay / bufsize
  bytes::BufMut implementation to count buffer size
  ☆21Updated last week
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆33Updated last year
• richardanaya / no_error
  A simple error library for no_std + no_alloc Rust
  ☆18Updated 4 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• Xaeroxe / c-closures-rs
  Rust closures you can transfer over an FFI boundary
  ☆25Updated 4 years ago
• yoshuawuyts / parallel-future
  structured parallel execution for async Rust
  ☆30Updated 3 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆62Updated 5 months ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 3 years ago
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆43Updated 9 months ago
• komora-io / optimistic-cell
  ☆18Updated last year
• miestrode / ekege
  A different approach to an E-graph library
  ☆22Updated last month
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆36Updated this week
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆52Updated last year
• QuarticCat / enum-ptr
  Ergonomic tagged pointer
  ☆30Updated last month
• mikhail-m1 / linux-perf-file-reader
  Library for parse perf.data file from Linux perf tool for Rust
  ☆18Updated 4 years ago
• philipc / findpanics
  Find calls to panic functions in rust executables
  ☆35Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• tchajed / rdb
  Debugger written in Rust
  ☆18Updated 2 years ago