增加数字电路的minetest模型[=Minecraft红石]
数字逻辑设计工具和仿真器
一种依赖类型的证明语言，旨在为工作中的软件工程师提供可证明正确的裸机代码。
一个数字逻辑设计器和电路仿真器。
使用Minetest Voxel引擎的夺旗游戏
LOTR-inspired Subgame for Minetest.重写：https://github.com/minetest-LOT...
Minetest mods、游戏等的内容数据库
Minetest实时地图服务器，用Go编写
Minetest官方网站由Github页面托管
用C++17编写的类似Minecraft的游戏引擎，具有客户端/服务器架构，支持Lua修改。
我多年来制作的未使用的纹理的储存库。