Pinned Repositories
30-days-of-react-native
30 days of React Native demos
cosmos
Algorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter
plai
My Racket (plai) files. Creating an interpreter!
presidential-harvest-nomination-tool
📚 Preserve government data before Trump takes over
pusheen
my first ever javascripting
sql-tutorial
SQL workshop I gave on May 24, 2018
vim-adventures-in-elm
Vim Adventures game in Elm.
mi-lee's Repositories
mi-lee/vim-adventures-in-elm
Vim Adventures game in Elm.
mi-lee/sql-tutorial
SQL workshop I gave on May 24, 2018
mi-lee/plai
My Racket (plai) files. Creating an interpreter!
mi-lee/cosmos
Algorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter
mi-lee/echobot
your nocontext slackbot
mi-lee/intro-projects-workshop
projects workshop I gave on Nov 16, 2018
mi-lee/linux-sysadmin-interview-questions
Collection of Linux Sysadmin/DevOps interview questions
mi-lee/r-reference
Resources I've used to learn R over the years
mi-lee/stat545-data-analysis-r
coursework for STAT 545: data analysis with R (2014W)
mi-lee/algorithms-sedgewick-wayne
Solutions to the exercises of the Algorithms book by Robert Sedgewick and Kevin Wayne
mi-lee/challenges-kubernetes
:cloud: Challenges Your Kubernetes Skills And Knowledge
mi-lee/cloudsql-proxy
Cloud SQL proxy client and Go library
mi-lee/COS461-Public
Princeton University COS 461: Computer Networks
mi-lee/dive
A tool for exploring each layer in a docker image
mi-lee/dslabs
Distributed Systems Labs and Framework
mi-lee/idris2048
2048 in Idris
mi-lee/k8s-operator-example
Example Kubernetes Operator
mi-lee/kubebuilder
Kubebuilder - SDK for building Kubernetes APIs using CRDs
mi-lee/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
mi-lee/linkerd2
A service mesh for Kubernetes and beyond. Main repo for Linkerd 2.x.
mi-lee/minikube
Run Kubernetes locally
mi-lee/OpenLogic
An open-source, customizable intermediate logic textbook
mi-lee/ostep-code
Code from various chapters in OSTEP (http://www.ostep.org)
mi-lee/ostep-projects
Projects for an undergraduate OS course
mi-lee/prepack-smt-verifier
SMT-based Prepack Verifier
mi-lee/raft
:rowboat: Raft implementation in Go
mi-lee/stanfordacm
Stanford ACM-ICPC related materials
mi-lee/tcframe
Test cases generation framework for competitive programming problems
mi-lee/web-monitoring-ui
UI to enable analysts to quickly assess changes to monitored government websites
mi-lee/xv6-public
xv6 OS