Explore projects
-
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 -
Updated
-
UpdatedUpdated
-
SimBricks / SimBricks
MIT LicenseSimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks
UpdatedUpdated -
Code for computing sufficient, implementable and permissive assumptions.
Updated -
Anjo Vahldiek-Oberwagner / ERIM
Creative Commons Attribution 4.0 InternationalUpdated -
UpdatedUpdated
-
Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version
Updated -
Kaushik Mallik / Fairsyn
Apache License 2.0Parallel reactive synthesis for omega-regular specifications under the transition fairness condition
Updated -
Updated
-
restart-rollback / smr-sgx
MIT LicenseUpdated -
restart-rollback / register-sgx
MIT LicenseDistributed register implementation inside Intel SGX
Updated -
Updated
-
Updated
-
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 -
-
Updated
-
pacer / openssl-1.1.0g
OpenSSL LicenseUpdated