Explore projects
-
-
This project contains some scripts and other files that are used by many Iris project for their CI
Updated -
This project contains some scripts and other files that are used by many Iris project for their CI
Updated -
UpdatedUpdated
-
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 -
cld / ml / clockwork
Apache License 2.0Prototype DNN Serving System that can support thousands of models, dozens of worker machines, and low-latency SLOs. (OSDI '20)
Updated -
Models compiled for use with Clockwork on MPI volta machines (tesla v100)
Updated -
-
ns3 simulations for different congestion control algorithms and network scenarios.
Updated -
Public repository of the paper 'Constraint Synthesis for Parametric CAD'.
Updated -
Updated
-
Marianna Rapoport / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Benoit Viguier / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Amin Timany / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Dan Frumin / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
David Swasey / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Janno / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
AVA / daisy-certification-public
BSD 2-Clause with views sentenceUpdated -