Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The public repository of the paper "Interactive Programming for Parametric CAD".
-
Practical verification of numerical kernels
-
ns3 simulations for different congestion control algorithms and network scenarios.
-
The Coq development for Iris. [project website] [coqdoc]
-
-
This project contains some scripts and other files that are used by many Iris project for their CI
-
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
-
-
Public releases for the dPCF project
-
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
-
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
-
Some example verification demonstrating the use of Iris.
-
The Coq development for Iris. [project website] [coqdoc]
-
Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1
-
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
-
The Coq development of LambdaRust