介绍几个Github上的Rust开源项目-第三期

399次阅读  |  发布于7月以前

1,Quary

Quary是一个SQL引擎和CLI工具,可以让你轻松管理数据转换项目。Quary使团队能够设计、记录、测试和部署数据转换在你的数据存储上。

团队使用Quary将原始数据表转换为可操作且值得信赖的insights。团队通过将记录良好且经过测试的insights来实现转换分层。

github地址:https://github.com/quarylabs/quary

2,GreptimeDB

GreptimeDB是一个关注效率、可伸缩性和分析能力的开源时间序列数据库。它被设计用于云时代的基础设施,用户可以从它的弹性存储中受益。

GreptimeDB的特性如下:

github地址:https://github.com/GreptimeTeam/greptimedb

3,charybdis

用于ScyllaDB和Apache Cassandra的Rust ORM,Charybdis是scylla_rust_driver之上的ORM层,主要关注易用性和性能。

Charybdis的特性如下:

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支持以下软件版本:

你可以使用PyO3在Rust中编写本机Python模块,或者将Python嵌入到Rust二进制文件中。

github地址:https://github.com/PyO3/pyo3

Copyright© 2013-2020

All Rights Reserved 京ICP备2023019179号-8