Explore projects
-
Hejing Li / split-gem5
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Paolo G. Giarrusso / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements [project website]
Updated -
Updated
-
Baltasar Dinis / sloth
MIT LicenseUpdated -
Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" LicenseThe main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
Ayan Majumdar / Bias in VAE
MIT LicenseGenerative Models are being developed currently which can potentially be used for various applications such as data generation for training models. This project aims to analyse a generative model, the Variational Autoencoder and potential bias in it.
Updated -
A simple dataset of traces of the Hadoop Distributed File System (HDFS).
Updated -
pacer / wrk2
OtherUpdated -
Updated
-
RTS / LiME
MIT LicenseUpdated -
cld / systems / sock-shop / shipping
Apache License 2.0Updated -
cld / systems / sock-shop / user
Apache License 2.0Updated -
pacer / linux-frontend-4.9.5
GNU General Public License v2.0 or laterUpdated -
Pierre Rousselin / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Standalone prebuilt X-Trace server and dockerized X-Trace server
Updated -
Updated
-
Updated
-
cld / tracing / tracingplane-java
BSD 3-Clause "New" or "Revised" LicenseJava implementation of tracingplane and baggage
Updated
