Explore projects
-
Sanjit Bhat / POPL21 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseA tutorial for the Iris Separation Logic Framework
Updated -
Ike Mulder / Iron
BSD 3-Clause "New" or "Revised" LicenseThe Iron logic for precise reasoning about resources [project website]
Updated -
Updated
-
SimBricks website source, automatically deployed to https://www.simbricks.io
Updated -
pacer / memcached-1.6.9
BSD 3-Clause "New" or "Revised" LicenseUpdated -
This project hopes to gather bibliographic sources regarding weak memory.
Updated -
-
Groundhog / openwhisk-runtime-nodejs
Apache License 2.0Updated -
-
-
Groundhog / openwhisk-runtime-c
Apache License 2.0Updated -
Adam / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Updated
-
-
-
Carina Schmitt / academicpages
MIT LicenseGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Updated -
Joseph Tassarotti / iris-coq-public
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Aman Shankar Mathur / InteractiveProgrammingCAD
MIT LicenseThe public repository of the paper "Interactive Programming for Parametric CAD".
Updated -
FCS / ocpl-coq
Creative Commons Attribution 4.0 InternationalUpdated
