Cordis：时空可组合性的元框架

Cordis是一个关于时空可组合性的元框架，目前处于积极开发阶段，API尚不稳定，可能随时变更。项目提供论文和文档链接，供开发者参考。

来源：GitHub日榜