Repository Index

A General-purpose Task-parallel Programming System in C++

• parallel-programming
• threadpool
• concurrent-programming
• high-performance-computing

http://hopac.github.io/Hopac/Hopac.html

• concurrent-programming
• csp
• actors
• cml

Concuerror is a stateless model checking tool for Erlang programs.

• concuerror
• erlang
• systematic-testing
• testing