Alternatives and similar repositories for circ:

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

• kaist-cp / shakeflow
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆52Updated last month
• codingskynet / concurrent-data-structure
  Concurrent Data Structure for Rust
  ☆29Updated 2 years ago
• ArtBlnd / endorphin
  Key-Value based in-memory cache library which supports Custom Expiration Policies
  ☆18Updated 11 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆70Updated 9 months ago
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆36Updated 5 months ago
• ENvironmentSet / lambda2wasm
  A Lambda expression compiler targeting web assembly.
  ☆20Updated 7 months ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated 3 months ago
• rust-kr / browser-engineering
  Web Browser Engineering
  ☆41Updated 2 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated 11 months ago
• ArtBlnd / rename-future
  You can name anonymous Future from async fn without dyn or Box!
  ☆59Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆48Updated 4 months ago
• kaist-cp / rv6
  ☆129Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• hongseok-yang / graduatePL23
  ☆19Updated last year
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆71Updated 11 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated this week
• Riey / xim-rs
  XIM protocol parser and handler in Rust
  ☆23Updated 10 months ago
• nikis05 / derive-visitor
  ☆31Updated 9 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆77Updated 2 weeks ago
• tchajed / rdb
  Debugger written in Rust
  ☆21Updated 2 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• cfallin / waffle
  ☆58Updated 6 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆74Updated 2 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 5 months ago
• kaist-cp / helpdesk
  ☆23Updated 3 years ago
• JunbeomL22 / flashlog
  A Rust logging library. It's lazy, thus fast.
  ☆58Updated last week
• kaist-cp / cs492-uarch
  ☆35Updated 4 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆19Updated this week
• hongseok-yang / logic23
  ☆15Updated last year