Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by imdea-software
A curated list of projects in awesome lists by imdea-software .
https://github.com/imdea-software/htt
Hoare Type Theory
coq hoare-logic hoare-monads linked-list separation-logic type-system
Last synced: 10 Oct 2024
https://github.com/imdea-software/fcsl-pcm
Partial Commutative Monoids
concurrency coq coq-library partial-commutative-monoid separation-logic
Last synced: 10 Oct 2024