Explore projects
-
cld / ml / tvm
Apache License 2.0Mirror of https://github.com/dmlc/tvm for internal development
Check other branches for active development.
Don't forgot to git submodule init and git submodule update!
Updated -
Marijn van Wezel / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Tej Chajed / Tutorial POPL18
BSD 3-Clause "New" or "Revised" LicenseExercises for the Iris tutorial at POPL 2018
Updated -
-
FCS / ocpl-coq
Creative Commons Attribution 4.0 InternationalUpdated -
Public repository of the paper 'Constraint Synthesis for Parametric CAD'.
Updated -
Simcha van Collem / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
Updated
-
A collection of Linux kernel configurations for LITMUS^RT kernels used at MPI-SWS (and previously at UNC).
Updated -
Dongjae Lee / transfinite
Creative Commons Attribution 4.0 InternationalIris with transfinite step-indexing
Updated -
-
-
-
Lennard Gäher / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Olivier Laurent / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
UpdatedUpdated
-
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
Updated -
Robbert Krebbers / ra-gps
BSD 3-Clause "New" or "Revised" LicenseA soundness proof for GPS and RSL with Release-Acquire semantics in Iris.
Updated