Explore GitLab
Discover projects, groups and snippets. Share your projects with others

AVA / FloVer
A certificate checker for roundoff error bounds

Filip Niksic / PSharp
Safe asynchronous eventdriven .NET programming.
0updated 
Burcu Özkan / pctcpcass
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
0updated 
Marianna Rapoport / iriscoq
The Coq development for Iris
0updated 
0updated

Felipe Cerqueira / rtproofs
The main Coq development.
0updated 
0updated

Antonin Riffard / rtproofs
The main Coq development.
0updated 
Jan / iriscoq
The Coq development for Iris

0updated

0updated

0updated

Joseph Tassarotti / ipmfscqdemo
This is a demo showing how the the Iris Proof Mode can be used with FSCQ.
0updated 
Utkarsh Upadhyay / hjb
Helper functions for working with solutions for HJB equations.
0updated 
0updated

0updated

Dan Frumin / iriscoq
The Coq development for Iris
0updated