Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: paper-artifacts
coq-community/qarith-stern-brocot
Binary rational numbers in Coq [maintainer=@herbelin]
Language: Coq - Size: 394 KB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 12 - Forks: 4
coq-community/almost-full
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
Language: Coq - Size: 1.47 MB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 3 - Forks: 0
coq-community/alea
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
Language: Coq - Size: 139 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 23 - Forks: 0
coq-community/bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Language: Coq - Size: 178 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 21 - Forks: 6
coq-community/lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
Language: Coq - Size: 1.04 MB - Last synced: 29 days ago - Pushed: over 2 years ago - Stars: 26 - Forks: 6
cogumbreiro/gorn-coq
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 that data-race-freedom implies deadlock freedom.
Language: Coq - Size: 421 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 2
