The P programming language.
C#
Updated Apr 16, 2019
#
systematic-testing
Repositories 9
A framework for rapid development of reliable asynchronous software.
C#
Updated Apr 29, 2019
Concuerror is a stateless model checking tool for Erlang programs.
Safe asynchronous event-driven C++ programming.
C++
Updated May 24, 2018
State machine and actor libraries for TypeScript/JavaScript.
TypeScript
Updated Jul 6, 2018
This is an infrastructure to construct distributed application under the control of P#.
C#
Updated Nov 5, 2017
Some basic data structure achieves which create systematic module.
Python
Updated Jun 4, 2018
Tundzha Regional Archaeological Project - systematic surface survey in Bulgaria, FAIMS 2.0
Python
Updated Apr 10, 2019
This repository is going to be the practical sample collection of P#.
C#
Updated Jul 11, 2017