Explore projects

Y

ds-ws18 / yfs-lab

0

Updated Feb 09, 2023

0 1 0 0

Updated Feb 09, 2023
S

restart-rollback / smr-sgx
MIT License

0

Updated Jun 13, 2023

0 0 0

Updated Jun 13, 2023
O

pacer / openssl-1.1.0g
OpenSSL License

0

Updated Mar 01, 2022

0 0 0 0

Updated Mar 01, 2022
R

restart-rollback / register-sgx
MIT License

Distributed register implementation inside Intel SGX

0

Updated Jun 13, 2023

0 0 0 0

Updated Jun 13, 2023
Y

ds-ss23 / yfs-lab

0

Updated Apr 17, 2023

0 0 0 0

Updated Apr 17, 2023
Y

ds / ss21 / yfs-lab

0

Updated Jul 09, 2021

0 1 0 0

Updated Jul 09, 2021
Simon Spies / RefinedC Extended
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 20, 2023

0 0 0 0

Updated Jun 20, 2023
E

Roberta De Viti / ebc

0

Updated Jun 07, 2023

0 0 0 0

Updated Jun 07, 2023
P

pacer / pacer

0

Updated Oct 11, 2023

0 0 0 0

Updated Oct 11, 2023
A

operating-systems / ws21 / assignments
Other

0

Updated Nov 26, 2021

0 1 0 1

Updated Nov 26, 2021
B

Clothilde Jeangoudoux / blossom

Practical verification of numerical kernels

0

Updated Jun 26, 2020

0 0 0 0

Updated Jun 26, 2020
W

pacer / wrk2
Other

0

Updated Mar 02, 2022

0 0 0 0

Updated Mar 02, 2022
T

Antoine Kaufmann / tas-vmint

0

Updated Oct 01, 2023

0 0 0 0

Updated Oct 01, 2023
B

Joshua Sobel / blossom

Practical verification of numerical kernels

0

Updated Feb 15, 2023

0 0 0 0

Updated Feb 15, 2023
R

Fengmin Zhu / RefinedC-QuickSort

0

Updated Mar 01, 2021

0 0 0 0

Updated Mar 01, 2021
AVA / Dandelion

A verifier for approximations of transcendental functions.

0

Updated Jul 29, 2022

0 1 0 5

Updated Jul 29, 2022
M

pacer / memcached-1.6.9
BSD 3-Clause "New" or "Revised" License

0

Updated Mar 23, 2022

0 0 0 0

Updated Mar 23, 2022
G

Groundhog / Groundhog
MIT License

0

Updated Feb 27, 2023

0 0 0 0

Updated Feb 27, 2023
R

Michael Sammler / RefinedC Tutorial

0

Updated Apr 02, 2022

0 0 0 0

Updated Apr 02, 2022
A

os-ws15 / assignment
Other

0

Updated Jun 20, 2024

0 1 0 0

Updated Jun 20, 2024