Explore projects

S

LITMUS-RT / Sample Kernel Configurations

A collection of Linux kernel configurations for LITMUS^RT kernels used at MPI-SWS (and previously at UNC).

0

Updated Apr 12, 2022

0 1 0 0

Updated Apr 12, 2022
Iris / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

12

Updated Jun 04, 2023

12 52 21 173

Updated Jun 04, 2023
I

FP / iGPS
BSD 3-Clause "New" or "Revised" License

A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.

1

Updated Apr 23, 2023

1 1 0 3

Updated Apr 23, 2023
A

os-ws15 / assignment
Other

0

Updated Dec 29, 2022

0 1 0 6

Updated Dec 29, 2022
M

Carina Schmitt / my-awesome-project

archived 0

Updated Dec 29, 2022

archived 0 0 0 0

Updated Dec 29, 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

3

Updated May 31, 2023

3 19 7 18

Updated May 31, 2023
H

Rupak Majumdar / hitmc
Apache License 2.0

Model checker for distributed systems using hitting families of schedules

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
L

Iris / lambda-rust
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

4

Updated Jun 04, 2023

4 9 4 3

Updated Jun 04, 2023
R

Sophie Quinton / rt-proofs

The main Coq development.

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
R

Felipe Cerqueira / rt-proofs

The main Coq development.

archived 0

Updated Apr 01, 2022

archived 0 0 0 0

Updated Apr 01, 2022
I

Jeehoon Kang / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

FP / iris-atomic
BSD 3-Clause "New" or "Revised" License

Logically Atomic Triples in Iris

0

Updated Dec 29, 2022

0 2 0 3

Updated Dec 29, 2022
I

Joseph Tassarotti / iris-coq-public
BSD 3-Clause "New" or "Revised" License

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Amin Timany / iris-coq
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
D

AVA / daisy-certification-public
BSD 2-Clause with views sentence

0

Updated Dec 29, 2022

0 0

Updated Dec 29, 2022
R

Felix Stutz / rt-proofs

The main Coq development.

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
Y

ds-ws16 / yfs-lab

0

Updated May 31, 2022

0 1 0 0

Updated May 31, 2022
P

Carina Schmitt / public

0

Updated Dec 29, 2022

0

Updated Dec 29, 2022
I

Dan Frumin / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
R

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

The main Coq development.

0

Updated Jun 02, 2023

0 0 2 0

Updated Jun 02, 2023