session_types - An implementation of session types in Rust

Session Types for Rust This is an implementation of session types for Rust. Using this library, you can implement bi-directional process communication
Category: Rust / Concurrency
Watchers: 14
Star: 495
Fork: 17
Last update: Jun 9, 2022

Related Repos

ruaaadb Experimental lock-free structures in Rust. Implemented Atomic pointer with high 16-bits as tag. Compatible in API with those in crossbeam_epoch. Lock-

lilydjwg This program exports useful APIs for Wayland desktop integration. Implemented: Active window title, app_id and on which output (monitor) Close active

aws ClockBound Summary: ClockBound allows you to generate and compare bounded timestamps that include accumulated error as reported from the local chronyd

Milo123459 with_lock Deadlock freedom Docs Example Say you have this code: use std::sync::Mutex; fn main() { let a = Mutex::new(2); let b = Mutex::new(3

shelbyd cooptex cooptex provides deadlock-free Mutexes. The [CoopMutex::lock] method wraps the [std::sync::Mutex] return value with a Result that will request

merryhime macel Multi-Architecture Code Emission Library (macel) is a library which implements a low-level intermediate representation meant to expose on machin

healeycodes niceware My blog post: Porting Niceware to Rust A Rust port of niceware. Sections of this README have been copied from the original project. This libr

yoshuawuyts Concurrency extensions for Future

iximeow regmap some well-known and known-to-be-good computer architectures, such as the Microchip PIC product line, or many of the AVR processor family, were

dyedgreen Uncertain<T> Fast and correct computations with uncertain values. When working with values which are not exactly determined, such as sensor data, it c

lunaryorn gethostname() for all platforms. use gethostname::gethostname; println!("Hostname: {:?}", gethostname()); Prior art hostname also prov

mgeier Real-Time Ring Buffer Ripped off of Isolated from the rest of crossbeam with git-filter-repo: git-

constellation-rs Harmonious distributed data processing & analysis in Rust

logicalshift Desync [dependencies] desync = "0.5" Desync is a library for Rust that provides a model of concurrency based around the idea of scheduling operations

marthog Software Transactional Memory This library implements software transactional memory, often abbreviated with STM. It is designed closely to haskells ST