A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Compositional, streaming I/O library for Scala

The pure asynchronous runtime for Scala

A test framework that runs everything in parallel.

Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning

Concurrency permutation testing tool for Rust.

An interpreter for learning and exploring pure λ-calculus

🦑 Informal definitions of terms used in concurrency modeling

Rewriting Principia Mathematica in Lean

Cross-platform Rust rewrite of the GNU coreutils

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Byzantine model checker