Duyet Nguyen's repositories
dot-files
My config files for #! Linux
Language:VimL000
duyetln.github.io
My personal page
Language:JavaScript000
exercises
Algorithm exercises
Language:Ruby000
graph-rebuild
Scripts for rebuilding game graphs for Joel (highbulp)
Language:JavaScript000
laundry-simulation
Simulation for a simple laundry business model
Language:C++000
selective-repeat
A simple prototype of reliable data transfer using Selective Repeat Protocol
nk-net
Simple social network site
Language:Ruby000
soundness-completeness
Soundness and Completeness proofs for a simple constraint typing system, based on Pierce's book.
Language:Coq000
spinning-cubes
Implemented basic matrix arithmetic and utilized some OpenGL functions to make spinning objects
Language:C++000
type-inference
Type inference algorithm for a simple language
Language:JavaScript000