-
monosat Public
Forked from sambayless/monosatMonoSAT - An SMT solver for Monotonic Theories
C++ MIT License UpdatedJul 5, 2025 -
ServerlessBench Public
Forked from SJTU-IPADS/ServerlessBenchA benchmark suite for serverless computing
C++ Other UpdatedMar 31, 2025 -
-
serving Public
Forked from tensorflow/servingA flexible, high-performance serving system for machine learning models
C++ Apache License 2.0 UpdatedMay 13, 2021 -
jepsen Public
Forked from jepsen-io/jepsenA framework for distributed systems verification, with fault injection
Clojure UpdatedJun 21, 2020 -
-
example-code Public
Forked from fluentpython/example-codeExample code for the book Fluent Python
Python MIT License UpdatedJun 9, 2019 -
husky-on-yarn Public
Forked from husky-team/husky-on-yarnRun Husky on Yarn
Java Other UpdatedSep 2, 2018 -
graphsage-simple Public
Forked from williamleif/graphsage-simpleSimple reference implementation of GraphSAGE.
Python UpdatedJun 24, 2018 -
-
husky Public
Forked from husky-team/huskyA more expressive and most importantly, more efficient system for distributed data analytics.
C++ Other UpdatedMar 7, 2018
{{ message }}