Explore projects

O

cld / systems / sock-shop / orders
Apache License 2.0

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
C

cld / systems / sock-shop / catalogue
Apache License 2.0

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
C

cld / systems / sock-shop / carts
Apache License 2.0

0

Updated Jun 18, 2019

0 0 0 0

Updated Jun 18, 2019
Z

cld / systems / zookeeper
Apache License 2.0

ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)

0

Updated Jan 07, 2019

0 0 0 0

Updated Jan 07, 2019
R

Xiaojie Guo / rt-proofs
BSD 2-Clause "Simplified" License

The main Coq development.

0

Updated Feb 28, 2020

0 0 0 0

Updated Feb 28, 2020
R

Maxime Lesourd / rt-proofs
BSD 2-Clause "Simplified" License

The main Coq development.

0

Updated Jun 02, 2022

0 0 0 0

Updated Jun 02, 2022
R

Sergey Bozhko / rt-proofs
BSD 2-Clause "Simplified" License

The main Coq development.

0

Updated May 29, 2024

0 0 2 0

Updated May 29, 2024
H

Rupak Majumdar / hitmc
Apache License 2.0

Model checker for distributed systems using hitting families of schedules

0

Updated Jun 02, 2022

0 0 0 0

Updated Jun 02, 2022
P

RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" License

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

2

Updated Nov 29, 2024

2 19 10 27

Updated Nov 29, 2024