欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
《神秘玛莉历代记》(Secret Maryo Chronicles)
这款2D游戏灵感来自任天堂的超级玛利系列游戏.
它是一款基于 SDL 和 OpenGL 的经典游戏, 前身是Super Mario Clone, 是Mario Brother的克隆. 独特之处在于使用可缩放图像(适用于各种分辨率), 原声音效和内置编辑器, 而且不断更新特殊砖块. 采取 GNU GPL v3 许可协议.
<discussion>characters_max=300</discussion>