kaist-cp / circ
CIRC: Concurrent Immediate Reference Counting
☆50Updated 2 months ago
Alternatives and similar repositories for circ:
Users that are interested in circ are comparing it to the libraries listed below
- Define compiler intermediate representation usable by external tools☆65Updated 6 months ago
- Key-Value based in-memory cache library which supports Custom Expiration Policies☆18Updated 9 months ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆39Updated last month
- Web Browser Engineering☆40Updated 2 years ago
- XIM protocol parser and handler in Rust☆23Updated 8 months ago
- automatially find crashes in the rust compiler & tooling☆69Updated 9 months ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆35Updated 3 months ago
- You can name anonymous Future from async fn without dyn or Box!☆57Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- ☆127Updated last year
- Concurrent Data Structure for Rust☆29Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆72Updated 2 weeks ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 8 months ago
- An experimental optimizing compiler for Bril☆57Updated this week
- A library for garbage collection in Rust.☆12Updated 3 years ago
- A Lambda expression compiler targeting web assembly.☆19Updated 5 months ago
- ☆58Updated 4 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Liquid Types implementation for Rust☆28Updated 2 years ago
- Deadlock free mutexes☆159Updated this week
- Determine whether characters have the XID_Start or XID_Continue properties☆81Updated last month
- Debugging WebAssembly? Put some Whamm! on it.☆17Updated this week
- UB-free and deterministic rustc fuzzer☆73Updated this week
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- rust stdout speed test☆33Updated last year
- world's worst interpreter☆56Updated 6 months ago
- the WebAssembly partial evaluator☆43Updated last month
- A Rust logging library. It's lazy, thus fast.☆56Updated last month
- ☆38Updated 3 years ago