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 -
os-ws15 / assignment
OtherUpdated -
Updated
-
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 -
Backpack / Cabal Patch for Class Struggle
BSD 3-Clause "New" or "Revised" LicenseA fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.
Updated -
-
-
Backpack / Class Struggle
BSD 3-Clause "New" or "Revised" LicenseAnalysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.
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 -