舒适 Cozy是从简单的高级规范中综合数据结构实现的工具。 它会自动选择数据的良好表示形式和有效的方法实现。 Cozy可以大大简化编写具有私有状态的软件模块的任务。 在大多数情况下，Cozy规范简短且可以自我记录，因此比手写实现更易于维护。 有时，Cozy可以发现人类开发人员不愿进行的深层优化。 目前，Cozy可以为C ++和Java生成代码。 快速开始 依存关系： 在requirements.txt列出的Python模块； 使用pip3 install -r requirements.