Explore projects
-
LailaElbeheiry / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" LicenseThe main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
Baltasar Dinis / sloth
MIT LicenseUpdated -
Updated
-
Isaac van Bakel / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
William Mansky / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
pacer / linux-frontend-4.9.5
GNU General Public License v2.0 or laterUpdated -
A simple dataset of traces of the Hadoop Distributed File System (HDFS).
Updated -
Updated
-
cld / systems / sock-shop / shipping
Apache License 2.0Updated -
RTS / LiME
MIT LicenseUpdated -
cld / systems / sock-shop / user
Apache License 2.0Updated -
Updated
-
Pierre Rousselin / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
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 -
cld / tracing / tracingplane-java
BSD 3-Clause "New" or "Revised" LicenseJava implementation of tracingplane and baggage
Updated -
Yiyun Liu / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
-
cld / systems / sock-shop / microservices-demo
Apache License 2.0Updated
