The P programming language.

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

Concuerror is a stateless model checking tool for Erlang programs.

A library for testing concurrent C++ code and deterministically reproducing bugs.

State machine and actor libraries for TypeScript/JavaScript.

🛠️ Recompile PlayStation 2 ELF binaries into C++ for native performance on modern platforms, enabling seamless gameplay without traditional emulation.

Return On Invested Capital - This repository contains files that demonstrate Quantitative systematic investment strategy using Return On Invested Capital as a single factor strategy.

This repository is going to be the practical sample collection of P#.

This is an infrastructure to construct distributed application under the control of P#.

Archaeology: A systematic surface field survey in the Mediterranean

🩺 Monitor and analyze PC health in real time to prevent issues, boost performance, and ensure system reliability with smart diagnostics.