DragonFly BSD System Source Repository (read-only mirror)
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation...
移动端手势库
基于mtouch封装的,更便于业务使用的贴纸手势库
an easy to use Minecraft to Source Engine Converter
python alternative to Valve's "Hammer World Editor"