Quary是一个SQL引擎和CLI工具,可以让你轻松管理数据转换项目。Quary使团队能够设计、记录、测试和部署数据转换在你的数据存储上。
团队使用Quary将原始数据表转换为可操作且值得信赖的insights。团队通过将记录良好且经过测试的insights来实现转换分层。
github地址:https://github.com/quarylabs/quary
GreptimeDB是一个关注效率、可伸缩性和分析能力的开源时间序列数据库。它被设计用于云时代的基础设施,用户可以从它的弹性存储中受益。
GreptimeDB的特性如下:
github地址:https://github.com/GreptimeTeam/greptimedb
用于ScyllaDB和Apache Cassandra的Rust ORM,Charybdis是scylla_rust_driver之上的ORM层,主要关注易用性和性能。
Charybdis的特性如下:
partial_<model>!
宏来处理模型字段子集的简单方法find_<model>!
宏提供运行复杂查询的简便方法github地址 : https://github.com/nodecosmos/charybdis
Creusot是Rust代码的演绎验证器。它验证你的代码是否是安全的,不会出现恐慌、溢出和断言失败。通过添加注释,可以进一步验证代码是否正确。
Creusot通过将Rust代码翻译成WhyML来工作,WhyML是Why3的验证和规范语言。然后用户可以利用Why3的全功能(半)自动检验验证条件!
github地址:https://github.com/creusot-rs/creusot
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