Explore projects
-
Kaushik Mallik / MascotSDS
Apache License 2.0Controller synthesis for stochastic dynamical system by means of finite abstraction
Updated -
Hai Dang / stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Sanjit Bhat / POPL20 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Arthur Azevedo de Amorim / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Updated
-
restart-rollback / smr-sgx
MIT LicenseUpdated -
-
pacer / httpd-2.4.33
Apache License 2.0Updated -
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
Updated -
Andrej Dudenhefner / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
pacer / memcached-1.6.9
BSD 3-Clause "New" or "Revised" LicenseUpdated -
pacer / openssl-1.1.0g
OpenSSL LicenseUpdated -
Updated
-
Lennard Gäher / iris-contrib
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Simon Spies / RefinedC Extended
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Vincent / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
UpdatedUpdated -
A survey of research papers published at systems conferences, to ascertain the role of visualization in the work, and the extent visualization is presented in the published works.
Updated -
ds-ac / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)
Updated
