【Rust 日报】2022-10-16 全栈同构Web框架leptos

leptos：全栈同构Web框架

Leptos 是一个全栈、同构的 Rust Web 框架，利用细粒度的响应式来构建声明性用户界面。

• 全栈：可用于构建在浏览器、服务器或通过在服务器上渲染 HTML 然后在浏览器中添加交互性运行的应用程序。
• 同构：相同的应用程序代码和业务逻辑被编译运行在客户端和服务器上，无缝集成。
• Web：Leptos 建立在 Web 平台和 Web 标准之上。
• 框架：Leptos 提供了构建现代 Web 应用程序所需的大部分内容：响应式系统、模板库和可在服务器端和客户端工作的路由器。
• 细粒度响应式：整个框架是从响应式原语构建的，这允许以最小的开销执行极高性能的代码。

注意：此项目正在开发中，API 不一定稳定。

GitHub：https://github.com/gbj/leptos

plane：基于浏览器的APP容器编排器

Plane 是一个服务器编排器，实现了一种「会话后端」的架构，可以启动许多临时容器实例，并通过 HTTPS 直接连接到这些容器。与在多个用户之间共享的传统 Web 服务器相比，这些容器可以更像一个碰巧远程运行的后台进程。我们可以将 Plane 后端视为恰好在服务器上运行的客户端应用程序的扩展。

主页：https://plane.dev/

GitHub：https://github.com/drifting-in-space/plane

rmx：增强的rm

对 rm API 进行了扩展和性能改进（特别是对大文件和深度嵌套目录）。特点如下：

• 原生 GNU rm API。
• 回收站集成（-t）。
• 贼快。
• 不可恢复的移除（--shred）。
• 更多过滤选项。

性能对比如下：

GitHub：https://github.com/demfabris/rmx

relay：构建数据驱动的React应用

官网：https://relay.dev/

GitHub：https://github.com/facebook/relay

prusti-dev：Rust静态验证器

Prusti 是 Rust 的原型验证器，建立在 Viper 验证基础设施之上。默认情况下，Prusti 通过证明诸如 unreachable!() 和 panic!() 之类的语句不可达来验证是否存在整数溢出和 panic。

最简单的尝试方法是使用 VS Code 插件：https://marketplace.visualstudio.com/items?itemName=viper-admin.prusti-assistant

GitHub：https://github.com/viperproject/prusti-dev

oscli：实时音频可视化

这是一个非常简单（当下）的实时音频可视化工具，使用 WGPU。当前实现仅适用于使用 minimp3-rs 的 mp3 文件。

GitHub：https://github.com/joshpauline/oscli

From 日报小组 长琴