欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
BZFlag
BZFlag is a free online multiplayer cross-platform open source 3D tank battle game. The name originates from "Battle Zone capture the Flag". It runs on Irix, Linux, *BSD, Windows, Mac OS X, and many other platforms. It's one of the most popular games ever on Silicon Graphics machines and continues to be developed and improved to this day. It's one of the most popular open source games ever.
The source code to BZFlag is released under the GNU Lesser General Public License and is freely available to anyone.
BZFlag is primarily written in the C++ language, but does contain some modules written in Perl, PHP, and Python.
<discussion>characters_max=300</discussion>