欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狗游戏
将 虚幻引擎 用于制作游戏、虚拟现实、广告、建筑、电影、教育。
Blender 3D 制作团队。
TrinityCore
参与韦诺之战在中文化、程序、运营推广方面的工作。
研发、运营H5和Native手游。
持续关注 暴雪嘉年华电竞赛事
组建灰狗皇室战争部落