Explore projects
-
Updated
-
-
cld / systems / sock-shop / user
Apache License 2.0Updated -
cld / systems / sock-shop / payment
Apache License 2.0Updated -
cld / systems / sock-shop / orders
Apache License 2.0Updated -
cld / systems / sock-shop / queue-master
Apache License 2.0Updated -
cld / systems / sock-shop / microservices-demo
Apache License 2.0Updated -
cld / systems / sock-shop / catalogue
Apache License 2.0Updated -
cld / systems / sock-shop / carts
Apache License 2.0Updated -
cld / workloads / ycsb
Apache License 2.0YCSB is a cloud database benchmark that we use for HBase
Updated -
-
-
Jeehoon Kang / iris-coq
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris
Updated -
-
-
-
Robbert Krebbers / ra-gps
BSD 3-Clause "New" or "Revised" LicenseA soundness proof for GPS and RSL with Release-Acquire semantics in Iris.
Updated -
AVA / daisy-certification-public
BSD 2-Clause with views sentenceUpdated -