Alternatives and similar repositories for circ:

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

• ArtBlnd / endorphin
  Key-Value based in-memory cache library which supports Custom Expiration Policies
  ☆18Updated 10 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆66Updated 7 months ago
• codingskynet / concurrent-data-structure
  Concurrent Data Structure for Rust
  ☆29Updated 2 years ago
• ENvironmentSet / lambda2wasm
  A Lambda expression compiler targeting web assembly.
  ☆19Updated 6 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆18Updated this week
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated 2 months ago
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆35Updated 4 months ago
• kaist-cp / rv6
  ☆127Updated last year
• rust-kr / browser-engineering
  Web Browser Engineering
  ☆41Updated 2 years ago
• hongseok-yang / graduatePL23
  ☆19Updated last year
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 10 months ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 9 months ago
• Riey / xim-rs
  XIM protocol parser and handler in Rust
  ☆23Updated 9 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆61Updated this week
• kaist-cp / helpdesk
  ☆23Updated 3 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆75Updated last week
• ArtBlnd / rename-future
  You can name anonymous Future from async fn without dyn or Box!
  ☆57Updated 2 years ago
• JunbeomL22 / flashlog
  A Rust logging library. It's lazy, thus fast.
  ☆57Updated 2 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆73Updated 3 weeks ago
• kaist-cp / cs492-uarch
  ☆34Updated 2 months ago
• spoqa / adventure
  Helps your great adventure for the various type of requests.
  ☆11Updated 5 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆46Updated 2 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆47Updated 2 years ago
• kaist-cp / kecc-public
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆126Updated this week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• botahamec / happylock
  Deadlock free mutexes
  ☆161Updated last month
• phase / dtt
  dependent type theory experiment
  ☆25Updated 11 months ago