欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ClanLib:是一个 C++ 游戏 SDK。
2D Drawing
画布
模版
HSV
3D
游戏
GUI
GUI编辑器
声音
SQL