An Async SDR Runtime for Heterogeneous Architectures

x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]

A framework for deterministic simulation and testing of distributed systems

Message passing infrastructure for Rust.

The Acton Reactive Application Framework provides an efficient way to build fast, reactive Rust applications. Designed around an actor-based model, it simplifies concurrency and allows developers to focus on writing scalable, maintainable code. Acton gets its name from the fact that it "acts on" messages you define.

Emulation of an atomic single-writer multi-reader register in message passing systems, using the ABD algorithm.

A collection of Rust crates for distributed computing.

Pi-calculus as Intermediate Representation

A type-safe, declarative UI framework for Rust.

Erlang-like message passing and process state management. Language agnostic and built for Derailed to have a custom framework of efficient distributed message passing.

An Event Log driven Compact Message Queue implementation

A Rust message passing mechanism which is strongly typed without the use of enums.

Two implementations of a Json serializer and deserializer in Rust and Go

Hardware-assisted asynchronous micro-RTOS in Rust

HIBOU for typed message passing

Rust implementation of the Dining Philosophers problem with message-based validation and unit tests