XuankangLin/XuankangLin.github.io
Using Hexo to build and maintain my personal blog
Developer Profile
XuankangLin
Discovered public repositories for XuankangLin in the GitHub catalog.
XuankangLin/pacman
Pacman is a flat and responsive design theme for Hexo.
XuankangLin/agda-summer-school
Summer school on programming in Agda
XuankangLin/pi-forall
A demo implementation of a simple dependently-typed language
XuankangLin/sublimetext-docs
Source code for http://docs.sublimetext.tw/
XuankangLin/cocos2d-js-tests
cocos2d JavaScript test cases and games.
XuankangLin/cocos2d-html5
cocos2d for Web Browsers. Built using JavaScript
XuankangLin/GreenDroid
GreenDroid is a development library for the Android platform. It makes UI developments easier and consistent through your applications.