Skasselbard / Granite
Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
☆23Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Granite
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 3 years ago
- An ordered map and set based on a trie.☆29Updated 4 years ago
- Utilities building on top of Rust's async primitives.☆22Updated 5 years ago
- raw bindings for git://git.kernel.dk/liburing☆17Updated 4 years ago
- software transactional memory in rust☆13Updated 3 years ago
- Combine a reader + writer into a duplex of Read + Write☆45Updated 4 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- A Raw utility for managing contiguous heap allocations☆11Updated 8 years ago
- A map backed by a vector☆25Updated 8 months ago
- Low overhead, high precision measurement crate for Rust☆17Updated last month
- Utility for reusing memory☆52Updated 4 years ago
- The simd optimized escape code☆53Updated last week
- Rust crate to use process file descriptors (pidfd) for Linux☆45Updated 7 months ago
- Rust's missing `String` literal☆19Updated 5 years ago
- A deque implemented as a hybrid linked-list-of-arrays☆10Updated 9 years ago
- A library for extracting and validating links.☆22Updated 3 months ago
- Hazard pointer based concurrent memory reclamation for Rust.☆29Updated 4 years ago
- A rust library for reusing heap allocations☆23Updated 4 years ago
- golang like task executor☆51Updated 3 years ago
- dom-like layout for terminal applications☆12Updated 3 years ago
- scraps of a potential language☆37Updated 3 years ago
- Extraction and modernization of the hyper 0.11.x typed header module☆28Updated last year
- A Experimental gRPC implemention with Actix. (WIP)☆9Updated 6 years ago
- Greenspunning Rust's macro_rules!☆32Updated 6 years ago