Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
FP / iris-coq
The Coq development for Iris
-
AVA / daisy-public
Daisy - a framework for accuracy analysis and synthesis of numerical programs
2updated -
1updated
-
RT-PROOFS / rt-proofs
The main Coq development.
1updated -
David Swasey / derek-popl18-talk
Safety of a syntactically unsafe symbol ADT.
1updated -
Pascal Fradet / rt-proofs
The main Coq development.
1updated -
Dan Frumin / ReLoC
A calculus of logical relations for concurrency, formalized in Iris.
-
FP / ra-gps
A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.
-
FP / LambdaRust-coq
The Coq development of LambdaRust
-
FP / opam-dev
opam repository for development versions of things we develop.
1updated -
0updated
-
0updated
-
0updated
-
0updated
-
0updated
-
0updated
-
LITMUS-RT / Sample Kernel Configurations
A collection of Linux kernel configurations for LITMUSRT kernels used at MPI-SWS (and previously at UNC).
0updated -
Utkarsh Upadhyay / hjb
Helper functions for working with solutions for HJB equations.
0updated -
0updated