Explore projects

Y

ds-ws16 / yfs-lab

0

Updated Jul 30, 2023

0 1 0 0

Updated Jul 30, 2023
Y

cld / workloads / ycsb

YCSB is a cloud database benchmark that we use for HBase

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
X

pacer / xen-frontend-4.10.0

0

Updated Mar 02, 2022

0 0 0 0

Updated Mar 02, 2022
X

pacer / xen-backend-4.10.0

0

Updated Mar 02, 2022

0 0 0 0

Updated Mar 02, 2022
X

cld / tracing / X-Trace Server

Standalone prebuilt X-Trace server and dockerized X-Trace server

0

Updated Mar 29, 2021

0 0 0 0

Updated Mar 29, 2021
W

pacer / wrk2

0

Updated Mar 02, 2022

0 0 0 0

Updated Mar 02, 2022
W

Antoine Kaufmann / website

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

0

Updated May 27, 2021

0 0 0 0

Updated May 27, 2021
W

sosp2021 / website

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

0

Updated Jun 02, 2022

0 1 0 0

Updated Jun 02, 2022
W

Léo Stefanesco / Weak Memory Bibliography

This project hopes to gather bibliographic sources regarding weak memory.

0

Updated Dec 01, 2023

0 0 0 0

Updated Dec 01, 2023
SAV / Weak Memory Bibliography

This project hopes to gather bibliographic sources regarding weak memory.

0

Updated Jul 12, 2024

0 1 1 0

Updated Jul 12, 2024
U

cld / systems / sock-shop / user

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
T

Antoine Kaufmann / TAS-OPT

0

Updated Nov 05, 2019

0 0 0 0

Updated Nov 05, 2019
S

Sanjit Bhat / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Jul 19, 2024

0 0 0 0

Updated Jul 19, 2024
S

Thibaut Pérami / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
S

Marijn van Wezel / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Aug 02, 2023

0 0 0 0

Updated Aug 02, 2023
S

Yiyun Liu / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Jul 31, 2024

0 0 0 0

Updated Jul 31, 2024
S

Glen Mével / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Dec 22, 2021

0 0 0 0

Updated Dec 22, 2021
S

Adam / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Sep 27, 2023

0 0 0 0

Updated Sep 27, 2023
S

Ike Mulder / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
S

Olivier Laurent / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Nov 27, 2022

0 0 0 0

Updated Nov 27, 2022