kaist-cp / circ

Related projects ⓘ

Alternatives and complementary repositories for circ

• ArtBlnd / endorphin
  Key-Value based in-memory cache library which supports Custom Expiration Policies
  ☆18Updated 6 months ago
• rust-kr / browser-engineering
  Web Browser Engineering
  ☆40Updated 2 years ago
• Riey / xim-rs
  XIM protocol parser and handler in Rust
  ☆23Updated 5 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆60Updated 4 months ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 6 months ago
• codingskynet / concurrent-data-structure
  Concurrent Data Structure for Rust
  ☆29Updated last year
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆37Updated 2 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆48Updated 3 weeks ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 6 months ago
• kaist-cp / shakeflow
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆52Updated 7 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆17Updated this week
• miestrode / ekege
  A different approach to an E-graph library
  ☆22Updated last month
• kaist-cp / rv6
  ☆126Updated last year
• JunbeomL22 / flashlog
  A Rust logging library. It's lazy, thus fast.
  ☆55Updated last month
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• dtolnay / threadbound
  Make any value Sync but only available on its original thread
  ☆36Updated last year
• egraphs-good / eggcc
  ☆50Updated this week
• dtolnay / unicode-ident
  Determine whether characters have the XID_Start or XID_Continue properties
  ☆77Updated last month
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆31Updated 7 months ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 3 months ago
• cfallin / waffle
  ☆59Updated last month
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• danielhenrymantilla / next-gen-rs
  Safe generators on stable Rust.
  ☆38Updated last year
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆39Updated last week
• nikis05 / derive-visitor
  ☆25Updated 4 months ago
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆19Updated 3 weeks ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆54Updated last week
• sampsyo / flatcalc
  world's worst interpreter
  ☆48Updated 4 months ago
• yihuang / non-empty-vec
  `NonEmpty` library vector for rust
  ☆19Updated 2 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆99Updated this week