欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Crystal Space
来自开放百科 - 灰狐
Crystal Space is our main project. It is a free cross-platform software development kit for realtime 3D graphics, in particular games.
Games
More games: http://www.crystalspace3d.org/main/Media
Links
分享您的观点