欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Cocos2d 是一个开源的 2D 游戏框架。它有两个版本:一个用 Python 编写,另一个用 Objective-C 编写面向 iOS 应用.