2 个版本

0.0.5-dev2024 年 8 月 15 日
0.0.4-dev2024 年 8 月 8 日
0.0.3-dev 2024 年 8 月 7 日
0.0.1-dev 2024 年 8 月 7 日

824 in 数据结构

Download history 318/week @ 2024-08-05 107/week @ 2024-08-12

每月 425 次下载

LGPL-2.1

44KB
814

Kermit — 构建状态 依赖状态 最新版本

Kermit 是一个包含与关系代数相关的数据结构、迭代器和算法的库,主要用于研究和基准测试。目前处于开发初期,因此所有构建和版本应视为不稳定。

主要编写它是为了为我的硕士学位论文提供一个平台。其范围(初步)包括在各种数据结构上基准测试 Leapfrog Triejoin 算法。我打算以易于扩展的方式设计 Kermit,以便将来能够基准测试其他算法和数据结构。

选择 Rust 作为项目语言主要有两个原因

  1. 我在目前参加研究交流的 TU Dresden基于知识的系统组 正在开发一个基于 Rust 的新规则引擎 Nemo,我希望在这篇硕士论文中开发的知识和实现将对此有用。我强烈推荐检查 Nemo。这不仅是一个非常有前途的项目,而且是我遇到的最美丽、最细致管理的仓库之一。
  2. 我想找理由写 Rust,并真正有目的。

我的目标是全程编写完全安全、稳定,并希望是 Rust 风格的代码。我非常感兴趣,在努力实现这一点的同时,人们能保持多大的可读性(和理智)。

贡献

感谢您对此感兴趣!也许在我完成论文后。

许可协议

本存储库采用 LGPL-2.1 许可协议。

依赖项

~1.2–1.6MB
~20K SLoC