Siyi Yang's repositories
acm-template
some templates of acm-icpc
Language:C++000
cis500
Homeworks for Benjamin Pierce's CIS-500: Software Foundations
Language:Coq000
Codeforces
code library for codeforces
Language:C++000
google-10000-english
This repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.
NOASSERTION000
homebrew
The missing package manager for OS X.
Language:Ruby000
iron
a simple compiler from C to MIPS
Language:Java000
Reaper_SCL
Standard Code Library
Language:C++000