Explore projects
-
Simon Friis Vindum / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Sanjit Bhat / POPL20 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Integrates programming and direct manipulation for CAD.
Updated -
pacer / httpd-2.4.33
Apache License 2.0Updated -
Updated
-
Dan Frumin / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
osnet / astra-sim
MIT LicenseASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale
Updated -
pacer / openssl-1.1.0g
OpenSSL LicenseUpdated -
-
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 -
Artem Ageev / OpenLane for SwiSH
Apache License 2.0Updated -
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 -
Code and documents for "Resilient Abstraction-Based Controller Design"
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