WANXIN CAI's repositories
csci1950y_final
A Formal Verification of Authentication System
MeazzaCompiler
The compiler of Meazza Language
ContentGlossaryGenerator
Automaticly grab new words in the content and list it in the glossary
img_gallery
simple image gallery
jitsi-helm
A helm chart to deploy Jitsi to Kubernetes
Kubenetes-Shortcut
shortcuts for kubernetes
MxTestCase
Testing cases for different phrase of Mx* Language Compiler
000
PasswordManager
A Password Manager for Myself
Question-Dedulication
A brief survey for question deduplication
SomeScripts
Just some scripts
SVMandM-3Network
EI328 Course Project, Using SVM and Min Max Moduler Network
time-machine
Time machine is a Jekyll theme for GitHub Pages