leptos：全棧同構Web框架

Leptos 是一個全棧、同構的 Rust Web 框架，利用細粒度的響應式來構建聲明性用戶界面。

全棧：可用于構建在瀏覽器、服務器或通過在服務器上渲染 HTML 然后在瀏覽器中添加交互性運行的應用程序。

同構：相同的應用程序代碼和業務邏輯被編譯運行在客戶端和服務器上，無縫集成。

Web：Leptos 建立在 Web 平臺和 Web 標準之上。

框架：Leptos 提供了構建現代 Web 應用程序所需的大部分內容：響應式系統、模板庫和可在服務器端和客戶端工作的路由器。

細粒度響應式：整個框架是從響應式原語構建的，這允許以最小的開銷執行極高性能的代碼。

注意：此項目正在開發中，API 不一定穩定。

plane：基于瀏覽器的APP容器編排器

Plane 是一個服務器編排器，實現了一種「會話后端」的架構，可以啟動許多臨時容器實例，并通過 HTTPS 直接連接到這些容器。與在多個用戶之間共享的傳統 Web 服務器相比，這些容器可以更像一個碰巧遠程運行的后臺進程。我們可以將 Plane 后端視為恰好在服務器上運行的客戶端應用程序的擴展。

rmx：增強的rm

對 rm API 進行了擴展和性能改進（特別是對大文件和深度嵌套目錄）。特點如下：

原生 GNUrmAPI。

回收站集成（-t）。

賊快。

不可恢復的移除（--shred）。

更多過濾選項。

性能對比如下：

relay：構建數據驅動的React應用

prusti-dev：Rust靜態驗證器

Prusti 是 Rust 的原型驗證器，建立在 Viper 驗證基礎設施之上。默認情況下，Prusti 通過證明諸如unreachable!()和panic!()之類的語句不可達來驗證是否存在整數溢出和 panic。

最簡單的嘗試方法是使用 VS Code 插件

oscli：實時音頻可視化

這是一個非常簡單（當下）的實時音頻可視化工具，使用 WGPU。當前實現僅適用于使用 minimp3-rs 的 mp3 文件。

審核編輯：劉清