欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenRA：开源(GPLv3)实时策略游戏引擎，重分发(re-imagining)了 《命令与征服：红色警戒》(Command & Conquer: Red Alert), Tiberian Dawn and Dune 2000，C#开发，跨平台，使用了SDL和OpenGL。
