Explore projects
-
-
pacer / openssl-1.1.0g
OpenSSL LicenseUpdated -
Updated
-
-
Thomas Somers / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Pierre Roux / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Dorian Lesbre / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Johannes Hostert / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Simon Gregersen / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [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 -
Updated
-
Simon Spies / RefinedC Extended
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Marianna Rapoport / iris-coq
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris
Updated -
Artem Ageev / OpenLane for SwiSH
Apache License 2.0Updated -
-
cld / systems / zookeeper
Apache License 2.0ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
Updated -
Amin Timany / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Jan / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
os-ws15 / assignment
OtherUpdated -
Updated
