Explore projects
-
Pierre Roux / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
UpdatedUpdated
-
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Iris / POPL21 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseA tutorial for the Iris Separation Logic Framework
Updated -
cld / ml / clockwork
Apache License 2.0Prototype DNN Serving System that can support thousands of models, dozens of worker machines, and low-latency SLOs. (OSDI '20)
Updated -
RT-PROOFS / POET
BSD 2-Clause "Simplified" LicenseThe POET Response-Time Certificate Generator — see also https://prosa.mpi-sws.org/poet.html
Updated -
Updated
-
-
Iris / tutorial-popl24
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Vincent Lafeychine / Refinedrust Dev
Apache License 2.0Updated -
-
Updated