Explore projects
-
Updated
-
Michael Sammler / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
-
The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.
Updated -
tlsomers / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Simon Spies / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version
Updated -
golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.
Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.
Updated -
Standalone prebuilt X-Trace server and dockerized X-Trace server
Updated -
golang implementation of tracingplane / baggage stuff.
Note that some of the go imports might be out of whack since the repository is cloned from GitHub
Updated -
cld / tracing / tracingplane-java
BSD 3-Clause "New" or "Revised" LicenseJava implementation of tracingplane and baggage
Updated -
-
cld / workloads / ycsb
Apache License 2.0YCSB is a cloud database benchmark that we use for HBase
Updated -
cld / systems / sock-shop / carts
Apache License 2.0Updated -
cld / systems / sock-shop / catalogue
Apache License 2.0Updated -
cld / systems / sock-shop / microservices-demo
Apache License 2.0Updated -
cld / systems / sock-shop / queue-master
Apache License 2.0Updated -
cld / systems / sock-shop / orders
Apache License 2.0Updated -
cld / systems / sock-shop / payment
Apache License 2.0Updated -
cld / systems / sock-shop / shipping
Apache License 2.0Updated