The P programming language.
C# 3.37 k
2 天前
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
C# 1.55 k
6 个月前
Concuerror is a stateless model checking tool for Erlang programs.
Erlang 339
2 个月前
A library for testing concurrent C++ code and deterministically reproducing bugs.
C++ 44
3 年前
State machine and actor libraries for TypeScript/JavaScript.
TypeScript 12
6 年前
Return On Invested Capital - This repository contains files that demonstrate Quantitative systematic investment strategy using Return On Invested Capital as a single factor strategy.
Python 4
3 年前
This repository is going to be the practical sample collection of P#.
C# 1
8 年前
This is an infrastructure to construct distributed application under the control of P#.
C# 1
8 年前
Archaeology: A systematic surface field survey in the Mediterranean
Java 0
3 年前