欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Godot 是一款开源(MIT)游戏引擎,可开发跨平台的游戏,支持 Windows, OS X, Linux, Android, iOS, BlackBerry 10, HTML5, Flash, NaCl, PlayStation 3, PlayStation Vita、Nintendo 3DS 和 Windows Phone 8。
Godot引擎架构
多平台
Object
Reference
Control
Node2D
Spatial