Topic: "async-finish"
cogumbreiro/habanero-coq
Coq formalization of the Habanero programming model.
Language: Coq - Size: 1020 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

pushpsood/ParallelConcurrentDistributedProgrammingConcepts
Resources and projects to get started with parallel, concurrent, and distributed programming.
Language: Java - Size: 40.9 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
