- Seattle / Toronto
-
kubebuilder Public
Forked from kubernetes-sigs/kubebuilderKubebuilder - SDK for building Kubernetes APIs using CRDs
Go Apache License 2.0 UpdatedMar 11, 2022 -
cloudsql-proxy Public
Forked from GoogleCloudPlatform/cloud-sql-proxyCloud SQL proxy client and Go library
Go Apache License 2.0 UpdatedJan 20, 2022 -
dslabs Public
Forked from emichael/dslabsDistributed Systems Labs and Framework
Java UpdatedJun 2, 2020 -
ostep-projects Public
Forked from remzi-arpacidusseau/ostep-projectsProjects for an undergraduate OS course
C UpdatedMay 20, 2020 -
ostep-code Public
Forked from remzi-arpacidusseau/ostep-codeCode from various chapters in OSTEP (http://www.ostep.org)
C UpdatedMay 20, 2020 -
raft Public
Forked from eliben/raft🚣 Raft implementation in Go
Go The Unlicense UpdatedMar 6, 2020 -
linkerd2 Public
Forked from linkerd/linkerd2A service mesh for Kubernetes and beyond. Main repo for Linkerd 2.x.
Go Apache License 2.0 UpdatedFeb 26, 2020 -
-
COS461-Public Public
Forked from feamster/COS461-PublicPrinceton University COS 461: Computer Networks
HTML UpdatedApr 11, 2019 -
OpenLogic Public
Forked from OpenLogicProject/OpenLogicAn open-source, customizable intermediate logic textbook
TeX Creative Commons Attribution 4.0 International UpdatedDec 29, 2018 -
-
dive Public
Forked from wagoodman/diveA tool for exploring each layer in a docker image
Go MIT License UpdatedDec 28, 2018 -
lets-prove-leftpad Public
Forked from hwayne/lets-prove-leftpadProving leftpad correct in a dozen different ways
Isabelle Other UpdatedDec 28, 2018 -
minikube Public
Forked from kubernetes/minikubeRun Kubernetes locally
Go Apache License 2.0 UpdatedDec 28, 2018 -
-
stat545-data-analysis-r Public
coursework for STAT 545: data analysis with R (2014W)
-
-
-
intro-projects-workshop Public
projects workshop I gave on Nov 16, 2018
-
stanfordacm Public
Forked from jaehyunp/stanfordacmStanford ACM-ICPC related materials
HTML MIT License UpdatedOct 14, 2018 -
tcframe Public
Forked from ia-toki/tcframeTest cases generation framework for competitive programming problems
C++ MIT License UpdatedAug 12, 2018 -
k8s-operator-example Public
Forked from onuryilmaz/k8s-operator-exampleExample Kubernetes Operator
Go UpdatedMay 31, 2018 -
challenges-kubernetes Public
Forked from dennyzhang/challenges-kubernetes☁️ Challenges Your Kubernetes Skills And Knowledge
Shell UpdatedApr 16, 2018 -
cosmos Public
Forked from OpenGenus/cosmosAlgorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter
-
-
linux-sysadmin-interview-questions Public
Forked from chassing/linux-sysadmin-interview-questionsCollection of Linux Sysadmin/DevOps interview questions
-
algorithms-sedgewick-wayne Public
Forked from reneargento/algorithms-sedgewick-wayneSolutions to the exercises of the Algorithms book by Robert Sedgewick and Kevin Wayne
-
web-monitoring-ui Public
Forked from edgi-govdata-archiving/web-monitoring-uiUI to enable analysts to quickly assess changes to monitored government websites
JavaScript GNU General Public License v3.0 UpdatedFeb 8, 2018 -
idris2048 Public
Forked from KesterTong/idris20482048 in Idris
Idris BSD 3-Clause "New" or "Revised" License UpdatedNov 28, 2017 -
prepack-smt-verifier Public
Forked from belinghy/prepack-smt-verifierSMT-based Prepack Verifier
Python MIT License UpdatedNov 24, 2017