欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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.
分享您的观点