Explore projects

An extended "Standard Library" for Coq. [coqdoc]

SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks

Simplistic dependency analysis tool for C

A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis

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

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

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

Model checker for distributed systems using hitting families of schedules

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

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