OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…

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 safe applications for demanding domains.

Byzantine model checker