Pinned Loading

1. habanero-coq habanero-coq Public

   Coq formalization of the Habanero programming model.

   Coq 4

2. aniceto-coq aniceto-coq Public

   Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.

   Coq 3

3. gorn-coq gorn-coq Public

   Deadlock avoidance on using futures in shared memory. The project includes the formalization of a trace language and results on a policy on safe joins (through a notion of known tasks) and we show …

   Coq 2

4. brenner-coq brenner-coq Public

   Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions.

   Coq 4 1

5. libisp-sched libisp-sched Public

   Project to make the ISP scheduler into a library.

   C++

6. code-miner-tk code-miner-tk Public

   Python