kaist-cp / circLinks
CIRC: Concurrent Immediate Reference Counting
☆53Updated last year
Alternatives and similar repositories for circ
Users that are interested in circ are comparing it to the libraries listed below
Sorting:
- Define compiler intermediate representation usable by external tools☆95Updated 3 weeks ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆42Updated last year
- ☆133Updated 2 years ago
- ☆14Updated 4 months ago
- A new register allocator☆243Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- the WebAssembly partial evaluator☆110Updated 3 months ago
- automatially find crashes in the rust compiler & tooling☆78Updated last year
- Scope Graph Implementation in Rust☆28Updated last year
- An experimental optimizing compiler for Bril using egglog☆81Updated 2 weeks ago
- Exploring the "expression problem" in Rust☆50Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆99Updated this week
- ☆58Updated 5 months ago
- Key-Value based in-memory cache library which supports Custom Expiration Policies☆21Updated 7 months ago
- We have Crater At Home☆36Updated last year
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆51Updated this week
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- Asynchronous Software Transactional Memory library for Rust☆27Updated last year
- XIM protocol parser and handler in Rust☆23Updated last month
- Concrete Syntax Tree library☆109Updated 2 months ago
- Modular register allocator algorithms☆105Updated 3 years ago
- setup for fuzzing the Rust compiler☆60Updated 8 months ago
- UB-free and deterministic rustc fuzzer☆93Updated 3 weeks ago
- Deadlock free mutexes☆177Updated 8 months ago
- You can name anonymous Future from async fn without dyn or Box!☆62Updated 3 years ago
- Hexadecimal float support for Rust☆42Updated 3 months ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 6 months ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year