Explore projects
-
Dan Frumin / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Jonas Kastberg / actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
tlsomers / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / bitvector
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / c
BSD 3-Clause "New" or "Revised" LicenseUnmaintained repository. A monadic translation of mini C into Iris's HeapLang [project website]
Updated -
-
Updated
-
Dan Frumin / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
David Swasey / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Janno / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Marianna Rapoport / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Benoit Viguier / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Amin Timany / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
AVA / daisy-certification-public
BSD 2-Clause with views sentenceUpdated -
-
-
-
Iris / DimSum
BSD 3-Clause "New" or "Revised" LicenseUpdated -