alexchonglian/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.
Developer Profile
alexchonglian
Discovered public repositories for alexchonglian in the GitHub catalog.
alexchonglian/sensor-ipsn2016
Public repository.
alexchonglian/libo_interactive
crowd-fund technical books chapter-by-chapter
alexchonglian/lisp_interpreter_in_python
implementation of lambda calculus
alexchonglian/voc_flashcard
compressed, offline, easy-to-use flashcard of english vocabulary
alexchonglian/kanji_interactive
ios app that improve your kanji writing
alexchonglian/crypto_coinify
Public repository.
alexchonglian/rallets
crypto-currency trading platform
alexchonglian/omniwallet
Web version of mastercoin-wallet (https://github.com/mastercoin-MSC/mastercoin-wallet)
alexchonglian/koin
Public repository.
alexchonglian/AmexCardlessiOS7
Public repository.
alexchonglian/sk_ruby_test
Public repository.
alexchonglian/iframe2png
Public repository.
alexchonglian/CardMatchingGameTab
Public repository.
alexchonglian/clrt-tutorial
Source code for the corresponding series of screencasts
alexchonglian/AmexOwnerWebClientDemo
AmexOwnerWebClientDemo
alexchonglian/AmexOwnerWebClient
AmexOwnerWebClient
alexchonglian/AmexCustomerMobileClient
AmexCustomerMobileClient
alexchonglian/CardMatchingGame
simple card matching game in Objective-C
alexchonglian/sbcl
Mirror of Steel Bank Common Lisp (SBCL)'s official repository
alexchonglian/SMG_AngularJS_Developer
AngularJS Developer Page for Social Multiplayer Games 2014 Spring
alexchonglian/AmericanExpressMobile
Spring2014 AMEX InfoTechProjet
alexchonglian/ruby-adjudicator
Public repository.
alexchonglian/Structure_and_Interpretation_of_Computer_Programs
Structure and Interpretation of Computer Programs
alexchonglian/diplomacy-ui
HTML, JS and SVG front end for web versions of the board game diplomacy
alexchonglian/social_multiplayer_games
Social Multiplayer Games
alexchonglian/rails
Ruby on Rails
alexchonglian/demo_app
Public repository.
alexchonglian/cs344
Introduction to Parallel Programming class code