The P programming language.

programming-language distributed-systems state-machine asynchronous systematic-testing event-driven model-checking formal-methods p formal-verification

• Updated Sep 3, 2026
• C#

Concuerror is a stateless model checking tool for Erlang programs.

testing debugging erlang otp tool verification systematic-testing travis-badge concuerror automatic concurrent-erlang-programs concurrent-programming model-checking codecov model-checker codecov-badge stateless-model-checking erlang-versions-badge erlang-programs

• Updated Jun 24, 2026
• Erlang

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

testing cpp concurrency systematic-testing software-reliability nondeterminism

• Updated Sep 29, 2022
• C++

State machine and actor libraries for TypeScript/JavaScript.

javascript typescript actors asynchronous systematic-testing event-driven state-machines

• Updated Jul 24, 2019
• TypeScript

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

systematic-testing investing research-project quantitative-finance investment factor-analysis cashflow return capital quantitative-analysis balance-sheet quantitative-methods incomestatement cashflow-analysis

• Updated Oct 29, 2022
• Python

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

dotnet asynchronous systematic-testing event-driven state-machines psharp

• Updated Jul 11, 2017
• C#

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

dotnet asynchronous systematic-testing event-driven state-machines psharp

• Updated Nov 5, 2017
• C#

Install and troubleshoot Alfred 5 on Windows with this configuration guide for setup, updates, and app performance issues.

productivity alfred nist awesome launcher alfred-workflow pytorch systematic-testing ecdsa p formal-verification failed installing alfred-workflows 3d-object-detection pycocotools alfred-setup-failed-fix

• Updated Oct 14, 2026

Archaeology: A systematic surface field survey in the Mediterranean

systematic-testing survey archaeology field-survey faims

• Updated Oct 24, 2022
• Java

Runs concurrent JDBC transactions one statement at a time and reports orders that no serial execution could produce

java jdbc postgresql concurrency systematic-testing junit5 race-conditions isolation-levels

• Updated Oct 14, 2026
• Java

Create encrypted P2P tunnels using WebRTC for NAT traversal, disguising data as video calls to avoid deep packet inspection.

android programming-language rust distributed-systems control p2p systematic-testing event-driven model-checking formal-methods webrtc-demos webrtc-experiments windows-desktop p remote-access p2p-chat schnorr anydesk taproot

• Updated Oct 14, 2026
• Python

Get GTA 6 PC Version Download Offline 2026 with a direct installer, full game access, and smooth offline gameplay on Windows.

notifications python linux html nist distributed-systems binaries systematic-testing version ecdsa formal-methods post-exploitation p hacktoberfest formal-verification blueteam sensorfusion redteam

• Updated Oct 14, 2026

Manage Project Zomboid Build 42 with profiles, mods, server tools, and world utilities in one native Windows launcher.

programming-language minecraft bytecode lua dotnet asynchronous launcher systematic-testing event-driven ecdsa net remote-desktop remote-access project-zomboid anydesk project-zomboid-mod

• Updated Oct 13, 2026
• C#