kaist-cp / circLinks
CIRC: Concurrent Immediate Reference Counting
☆51Updated 6 months ago
Alternatives and similar repositories for circ
Users that are interested in circ are comparing it to the libraries listed below
Sorting:
- ☆11Updated 2 weeks ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆40Updated 6 months ago
- Key-Value based in-memory cache library which supports Custom Expiration Policies☆19Updated last month
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆54Updated 4 months ago
- Define compiler intermediate representation usable by external tools☆74Updated 11 months ago
- XIM protocol parser and handler in Rust☆23Updated last year
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- You can name anonymous Future from async fn without dyn or Box!☆60Updated 3 years ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆37Updated 7 months ago
- ☆130Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- An experimental optimizing compiler for Bril☆69Updated this week
- Web Browser Engineering☆41Updated 2 years ago
- ☆32Updated 11 months ago
- Concurrent Data Structure for Rust☆29Updated 2 years ago
- the WebAssembly partial evaluator☆55Updated 6 months ago
- We have Crater At Home☆34Updated 7 months ago
- automatially find crashes in the rust compiler & tooling☆73Updated last year
- A garbage collection library for Rust with zero unsafe code☆113Updated 10 months ago
- New register allocator designed as a successor to regalloc2☆38Updated 3 months ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆19Updated 6 months ago
- Easy SMT solver interaction☆35Updated 2 months ago
- Extra RNGs☆42Updated 3 months ago
- A different approach to an E-graph library☆25Updated this week
- ☆58Updated 8 months ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- Asynchronous Software Transactional Memory library for Rust☆26Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- UB-free and deterministic rustc fuzzer☆80Updated 2 weeks ago
- A Lambda expression compiler targeting web assembly.☆20Updated 9 months ago