#实验项目

a-mir-formality是GitHub上的一个开源项目，致力于开发Rust MIR的形式化模型。这个早期实验性项目包含多个层次，如检查、核心、宏、证明、Rust声明和类型层，旨在与Rust的trait求解器实现保持一致。该项目目标是成为Rust语言定义的官方组成部分，为开发者提供深入理解MIR的工具。通过Cargo可以运行项目测试。

这是一个包含多个Godot游戏引擎实验的开源项目,涵盖2D、3D和VR领域。项目展示了物理模拟、程序动画、着色器效果等游戏机制的实现。开发者可以通过这些实例学习Godot引擎的功能,探索其在游戏开发中的应用可能。所有实验代码均可查看和修改,为Godot学习者提供了实用的参考资源。