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]

Message passing infrastructure for Rust.

A framework for deterministic simulation and testing of distributed systems

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.

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.

A type-safe, declarative UI framework for Rust.

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

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

Pi-calculus as Intermediate Representation

An Event Log driven Kompakt Message Queue implementation

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