alexchonglian's repositories
MIT18.065-subtitles
MIT 18.065 Matrix Methods in Data Analysis, Signal Processing, and Machine Learning
AmericanExpressMobile
Spring2014 AMEX InfoTechProjet
AmexOwnerWebClient
AmexOwnerWebClient
AmexCustomerMobileClient
AmexCustomerMobileClient
AmexOwnerWebClientDemo
AmexOwnerWebClientDemo
CardMatchingGame
simple card matching game in Objective-C
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
kanji_interactive
ios app that improve your kanji writing
libo_interactive
crowd-fund technical books chapter-by-chapter
lisp_interpreter_in_python
implementation of lambda calculus
multivariable_calculus
khan academy multivariable calculus
omniwallet
Web version of mastercoin-wallet (https://github.com/mastercoin-MSC/mastercoin-wallet)
QUT-Robot-Academy-subtitles
QUT Robot Academy eng+chs subtitles
rallets
crypto-currency trading platform
SMG_AngularJS_Developer
AngularJS Developer Page for Social Multiplayer Games 2014 Spring
social_multiplayer_games
Social Multiplayer Games
Structure_and_Interpretation_of_Computer_Programs
Structure and Interpretation of Computer Programs
voc_flashcard
compressed, offline, easy-to-use flashcard of english vocabulary
yscheme
a compiler from a subset of Scheme into X64