Explore projects
-
A simulator to visualize/analyze tracking data from VR
Updated -
SimBricks / simbricks-website
MIT LicenseSimBricks website source, automatically deployed to https://www.simbricks.io
Updated -
Simon Spies / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
pacer / xen-frontend-4.10.0
GNU General Public License v2.0 or laterUpdated -
osnet / astra-sim
MIT LicenseASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale
Updated -
William Mansky / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Robbert Krebbers / fast_string
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
Thomas Lamiaux / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)
Updated -
-
-
Rodolphe Lepigre / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Updated
-
Updated
-
Aman Shankar Mathur / InteractiveProgrammingCAD
MIT LicenseThe public repository of the paper "Interactive Programming for Parametric CAD".
Updated -
Sadegh Soudjani / EICSymAware
BSD 3-Clause "New" or "Revised" LicenseThis is the repository for the EU EIC project called SymAware.
Updated -
Xavier Denis / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Updated
-
Updated
