Pinned Repositories
11411-project
Final project for 11-411 NLP
15440-s15-p1-rust
why would anyone do this???
advent-of-code-2022
opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
SML
me messing with SML. the code is useless and bad. don't look at it!
tabmerge-mirror
Mirror of Tabmerge.vim for vundle convenience
vincom2's Repositories
vincom2/SML
me messing with SML. the code is useless and bad. don't look at it!
vincom2/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
vincom2/tabmerge-mirror
Mirror of Tabmerge.vim for vundle convenience
vincom2/11411-project
Final project for 11-411 NLP
vincom2/15440-s15-p1-rust
why would anyone do this???
vincom2/advent-of-code-2022
vincom2/advent-of-code-2023
bruh
vincom2/common-keys
wow such keylog very efficient type
vincom2/echoserver.rs
An echo server written in Rust
vincom2/ELFIO
ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library
vincom2/epic-essay-IF
Interactive Fiction version of The Epic Chinese Essay
vincom2/fish-shell
The user-friendly command line shell.
vincom2/HackCMU-fall-2013
vincom2/Haskell
Haskell code that sucks. Don't look at it!
vincom2/homebrew
:beer: The missing package manager for OS X.
vincom2/KeYmaeraX-release
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (release)
vincom2/neomake
A plugin for asynchronous :make using Neovim's job-control functionality
vincom2/neveragaindottech.github.io
Source files for the neveragain.tech site
vincom2/noob-language-model
noobie linearly interpolated language model up to trigrams created for class assignment
vincom2/OCaml
Crappy OCaml code; view at your own risk. I take no responsibility if your eyes burn.
vincom2/proof-tree-builder
the greatest proof tree creation interface in the world (vacuously true, maybe?)
vincom2/python-NLB-scraper
python code to scrape Singapore NLB catalogue
vincom2/racer
Rust Code Completion utility
vincom2/rms-open-letter.github.io
vincom2/software-foundations-coq
Exercises from Software Foundations
vincom2/tangled-webs
What tangled webs we weave
vincom2/vincom2.github.io
herp derp
vincom2/yankring-mirror
mirror of yankring.vim for vundle convenience