GitHub趋势榜最近上榜的几个新项目：

1. libui-rs

最小化、跨平台的的UI工具Rust绑定

2. timely-dataflow

timely-dataflow是基于论文（ Naiad: a timely dataflow system）实现的。

Naiad通过引入timestamp的概念，给出了一个非常low-level的模型，可以用来描述任意复杂的流式计算。Timely dataflow 给出了一个完全基于时间的抽象，统一了流式计算和迭代计算。

differential-dataflow

是基于timely-dataflow实现的不同数据流

3. mentat

概念模型来自于Datomic数据库。但Mentat旨在提供SQLite的许多优点 - 单一文件的使用，嵌入性和良好的性能 - 同时构建一个更加轻松，可重用，富有表现力的数据模型。

Datomic 是由clojure之父创建的一个灵活的、基于时间因子的函数式关系型数据库，支持联合查询，具有弹性的可扩展性以及支持ACID事务性。

使用Rocket和Diesel创建REST API

原文

使用systemfd/listenfd自动加载开发web服务

• systemfd
• listenfd

原文

计算机科学库：varisat是Rust实现的SAT求解器。

SAT（布尔可满足性问题）是人工智能和计算机科学领域的核心问题之一，是属于首个被证明的NPC问题。工业领域中很多问题都可以被转化为SAT问题来求解，相应的SAT求解器被广泛应用于集成电路验证、模型检验、软件验证和组合优化等领域。目前最流行的求解框架是CDCL(Conflict-Driven C1ause Learning)求解框架。

varisat正是基于CDCL实现的SAT求解器。太学术的就不太懂了，感兴趣的可以自行查找相关论文资料。

varisat

• ( 每日新闻备份地址 )
• Telgram Channel ： https://t.me/rust_daily_news