欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Xenko Next-Level C# Game Engine, GPL v3 License.
在C#游戏领域,Xenko是Unity3D之外最好的开源选择。
Launcher