3
Repos
11
Stars
1
Forks
11
Watchers
Repositories (3)
brenner-coq
cogumbreiro/brenner-coq
Coq
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.
4
1
habanero-coq
cogumbreiro/habanero-coq
Coq
Coq formalization of the Habanero programming model.
4
0
aniceto-coq
cogumbreiro/aniceto-coq
Coq
Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.
3
0