欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
LGame
LGame是Loonframework框架的一部分，也是针对Java 2D游戏开发而设计的“一揽子”项目，它的创立初衷在于构建一个高效且完善的Java2D游戏开发体系。
LGame是一个高通用性的游戏框架，作为支持Java桌面游戏以及网页游戏开发的全功能引擎，LGame无论对画面绘制、精灵碰撞、特效渲染、窗体组件，还是XML操作，文本数据库操作，HTTP操作，日志操作等都提供有完善的内部解决方案，避免了多包配置的繁琐与不便，同时也降低了用户的学习曲线。出于效率与程序体积两方面考虑，LGame中所有组件皆不依赖Swing，完全采取AWT绘制而成，因此它可以将自身的运行环境压缩到最小，一个压缩后不足4MB的精简JRE，已足够支持它的运行，也就是与RMXP或吉里吉里2的运行库大小相仿佛，但功能却更多。
理论上讲，只要您能够熟练操作LGame，世界上根本没有任何一款2D游戏是您所无法快速实现的。
目前阶段，LGame图形渲染依赖于Java 2D，这虽然保证了LGame可以运行于所有获得 JRE支持的桌面系统与浏览器，但在处理复杂图形时效果始终不够理想。因此，后续版本将对此进行改进，争取最大程度上解决Java桌面应用的效率问题。
Android
LGame-Android 版为 LGame-J2SE (PC版) 的手机精简版本，但除辅助功能较 LGame-J2SE版少外，主要类及函数与LGame-J2SE版完全相同。
截止 LGame-Android 0.2.8版, LGame-Android 游戏引擎共完成类 192个，代码约 50000余行，主要功能从底层图形接口到游戏控制、资源存储、资源加密、地图绘制、精灵绘制、组件绘制、脚本控制、AVG模式支持、触摸屏模拟按键支持、音频操作、网络资源读取以及字符、数字、密码等辅助操作功能也都涵盖。也就是说只要你使用LGame-Android版引擎构建游戏，就能够在不需要任何第三方组件的前提下，完成任何你想要的Andorid 2D游戏开发，而且还可以非常轻松地将它移植到PC环境。
截屏
链接
<discussion>characters_max=300</discussion>
