Explore projects
-
Iris / Tutorial POPL18
BSD 3-Clause "New" or "Revised" LicenseDeprecated repository; please use the POPL 2021 version instead
Updated -
-
Iris / simuliris
BSD 3-Clause "New" or "Revised" LicenseLocal Simulation proofs, the Iris style
Updated -
Iris / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / gpfsl
BSD 3-Clause "New" or "Revised" LicenseA combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)
Updated -
Iris / transfinite
Creative Commons Attribution 4.0 InternationalIris with transfinite step-indexing
Updated -
Updated
-
-
restart-rollback / register-sgx
MIT LicenseDistributed register implementation inside Intel SGX
Updated -
Groundhog / OpenWhisk
Apache License 2.0Updated -
Groundhog / OpenWhisk Cli
Apache License 2.0Updated -
Groundhog / openwhisk-runtime-python
Apache License 2.0Updated -
Groundhog / openwhisk-runtime-nodejs
Apache License 2.0Updated -
Groundhog / openwhisk-runtime-c
Apache License 2.0Updated -
Updated
-
A custom Akka dispatcher that logs and controls the delivery order of actor messages.
Updated -
Updated