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
ELFIO
ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library
epic-essay-IF
Interactive Fiction version of The Epic Chinese Essay
fish-shell
The user-friendly command line shell.
Haskell
Haskell code that sucks. Don't look at it!
homebrew
:beer: The missing package manager for OS X.
KeYmaeraX-release
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (release)
neomake
A plugin for asynchronous :make using Neovim's job-control functionality
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
OCaml
Crappy OCaml code; view at your own risk. I take no responsibility if your eyes burn.
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
racer
Rust Code Completion utility
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