1,Quary
Quary是一个SQL引擎和CLI工具,可以让你轻松管理数据转换项目。Quary使团队能够设计、记录、测试和部署数据转换在你的数据存储上。
团队使用Quary将原始数据表转换为可操作且值得信赖的insights。团队通过将记录良好且经过测试的insights来实现转换分层。
github地址:https://github.com/quarylabs/quary
2,GreptimeDB
GreptimeDB是一个关注效率、可伸缩性和分析能力的开源时间序列数据库。它被设计用于云时代的基础设施,用户可以从它的弹性存储中受益。
GreptimeDB的特性如下:
- 优化柱状布局来处理时间序列数据,将数据压缩和存储在各种存储后端,特别是云对象存储,成本效率为50倍。
- 完全开源的分布式集群架构,可以完全利用云原生弹性计算资源的强大功能。
- 从边缘计算的独立二进制文件到云中健壮的、高可用的分布式集群,为开发人员和管理员提供透明的体验。
- 提供用于查询的本地SQL和PromQL,以及用于简化复杂分析任务的Python脚本。
- 灵活的索引功能和分布式、并行处理的查询引擎,解决了高基数的问题。
- 广泛采用的数据库协议和api,包括MySQL、PostgreSQL、Prometheus Remote Storage等。
github地址:https://github.com/GreptimeTeam/greptimedb
3,charybdis
用于ScyllaDB和Apache Cassandra的Rust ORM,Charybdis是scylla_rust_driver之上的ORM层,主要关注易用性和性能。
Charybdis的特性如下:
- 为整个模型的CRUD和复杂查询操作提供具有表现力的API
- 提供使用自动生成的
partial_<model>!宏来处理模型字段子集的简单方法 - 通过使用自动生成的
find_<model>!宏提供运行复杂查询的简便方法 - 自动迁移工具,分析src/model/*rs文件,并根据模型定义和数据库之间的差异运行迁移
github地址 : https://github.com/nodecosmos/charybdis
4,Creusot
Creusot是Rust代码的演绎验证器。它验证你的代码是否是安全的,不会出现恐慌、溢出和断言失败。通过添加注释,可以进一步验证代码是否正确。
Creusot通过将Rust代码翻译成WhyML来工作,WhyML是Why3的验证和规范语言。然后用户可以利用Why3的全功能(半)自动检验验证条件!
github地址:https://github.com/creusot-rs/creusot
5,pyo3
pyo3是Python的Rust绑定,包括用于创建本地Python扩展模块的工具。还支持从Rust二进制文件中运行Python代码并与之交互。
PyO3支持以下软件版本:
- Python 3.7及以上版本(CPython和PyPy)
- Rust 1.56及以上版本
你可以使用PyO3在Rust中编写本机Python模块,或者将Python嵌入到Rust二进制文件中。
github地址:https://github.com/PyO3/pyo3

京公网安备 11010502044969号