Explore projects
-
cld / systems / sock-shop / queue-master
Apache License 2.0Updated -
cld / systems / sock-shop / payment
Apache License 2.0Updated -
Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.
Updated -
Backpack / Class Struggle
BSD 3-Clause "New" or "Revised" LicenseAnalysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.
Updated -
Satya Prakash Nayak / rpg-stela
MIT LicenseUpdated -
Léo Stefanesco / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Dmitry Khalanskiy / Iris
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated -
cld / systems / hadoop
Apache License 2.0Hadoop, YARN, and HDFS, instrumented with tracing framework. Up to date with version 2.7.2. Most up to date branch is brownsys-tracingplane-2.7.2
Updated -
Glen Mével / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
-
Matthieu Sozeau / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Thibaut Pérami / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Sanjit Bhat / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Code for computing sufficient, implementable and permissive assumptions.
Updated -
This project contains some scripts and other files that are used by many Iris project for their CI
Updated -
-
UpdatedUpdated
-
This project hopes to gather bibliographic sources regarding weak memory.
Updated -
-
cld / systems / sock-shop / catalogue
Apache License 2.0Updated