Vincent Huang's repositories
tabmerge-mirror
Mirror of Tabmerge.vim for vundle convenience
11411-project
Final project for 11-411 NLP
15440-s15-p1-rust
why would anyone do this???
common-keys
wow such keylog very efficient type
echoserver.rs
An echo server written in Rust
epic-essay-IF
Interactive Fiction version of The Epic Chinese Essay
fish-shell
The user-friendly command line shell.
KeYmaeraX-release
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (release)
neveragaindottech.github.io
Source files for the neveragain.tech site
noob-language-model
noobie linearly interpolated language model up to trigrams created for class assignment
proof-tree-builder
the greatest proof tree creation interface in the world (vacuously true, maybe?)
python-NLB-scraper
python code to scrape Singapore NLB catalogue
software-foundations-coq
Exercises from Software Foundations
tangled-webs
What tangled webs we weave
vincom2.github.io
herp derp
yankring-mirror
mirror of yankring.vim for vundle convenience