Wentao Zhang's repositories
acto
Automatic Correctness E2E Testing for (Kubernetes/OpenShift) Operators
awesome-multiplication-tables
A tombstone in memory of all the programming languages I gave up halfway
cloudlab-startup-log
Tests
docker-miktex
the Docker image for running MiKTeX
GitHubSanitizer
Add "mark as read" buttons to your GitHub homepage news feed, and prevent ever-read items from being displayed again.
google-blocklist
Personalized (and aggressive) Google search blocklist
linux-c-book
《Linux C 编程一站式学习》
network-protocol-play
Random snippets when learning network protocols
rust
Empowering everyone to build reliable and efficient software.
sjtu-pt-connectivity
Illustration of pt.sjtu.edu.cn connectivity
speedtest-over-https
Speedtest docker container that serves over HTTPS: a dumb, mostly hardwired implementation, just for easing my own deployment
linux-mcdc
This fork is for running more CI only.
linux-play
Linux kernel source tree
llvm-play
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
play-rust-analyzer
A Rust compiler front-end for IDEs
redis-operator-cov
Redis Operator creates/configures/manages high availability redis with sentinel automatic failover atop Kubernetes.
redis-ot-container-kit-operator-cov
A golang based redis operator that will make/oversee Redis standalone/cluster/replication/sentinel mode setup on top of the Kubernetes.
SJTUBeamer
上海交通大学 Beamer 模版 | Beamer template for Shanghai Jiao Tong University
verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
xv6-public
xv6 OS