An open API service providing repository metadata for many open source software ecosystems.

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