Chou S.'s repositories
miniKanren.lua
Another implemention fo miniKanren in Lua
mutt-manual-cn
mutt manual for Chinese
lambda-interp
Simple Lambda Calculus Interpreter implemented by Java
vim-linemotion
a Vim Plug-in, move fast in one line.
emacs.d
An Emacs configuration bundle with batteries included
Robject-Validator
Ruby Object validator
rubysonar
a type inferencer and indexer for Ruby
fnf
阿里云 FNF(Serverless Workflow)组件
miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
powerline-shell
Powerline for Bash/ZSH
sms2droid
sms2droid converts iPhone SMS to Android. it's a simple Ruby script to convert the iPhone sms database to Android.
tdmessager
a im client todo list hosting on Google App Engine.
v2ray-core
A platform for building proxies to bypass network restrictions.