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)
  ☆51Updated 2 months ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆39Updated 4 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆73Updated 9 months ago
• ArtBlnd / endorphin
  Key-Value based in-memory cache library which supports Custom Expiration Policies
  ☆19Updated this week
• codingskynet / concurrent-data-structure
  Concurrent Data Structure for Rust
  ☆29Updated 2 years ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆73Updated last year
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆36Updated 6 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated last week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆98Updated 2 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated last year
• rust-kr / browser-engineering
  Web Browser Engineering
  ☆41Updated 2 years ago
• ArtBlnd / rename-future
  You can name anonymous Future from async fn without dyn or Box!
  ☆59Updated 3 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆55Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated last week
• kaist-cp / rv6
  ☆130Updated 2 years ago
• cfallin / waffle
  ☆58Updated 7 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆76Updated 3 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 weeks ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆77Updated 2 weeks ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆134Updated this week
• hongseok-yang / graduatePL23
  ☆19Updated last year
• tchajed / rdb
  Debugger written in Rust
  ☆22Updated 2 years ago
• damhiya / Coq-tips
  ☆10Updated last year
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• Riey / xim-rs
  XIM protocol parser and handler in Rust
  ☆23Updated 11 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• ENvironmentSet / lambda2wasm
  A Lambda expression compiler targeting web assembly.
  ☆20Updated 8 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆36Updated last month
• nikis05 / derive-visitor
  ☆31Updated 10 months ago