leptos：全棧同構(gòu)Web框架

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

全棧：可用于構(gòu)建在瀏覽器、服務(wù)器或通過在服務(wù)器上渲染 HTML 然后在瀏覽器中添加交互性運行的應(yīng)用程序。

同構(gòu)：相同的應(yīng)用程序代碼和業(yè)務(wù)邏輯被編譯運行在客戶端和服務(wù)器上，無縫集成。

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

框架：Leptos 提供了構(gòu)建現(xiàn)代 Web 應(yīng)用程序所需的大部分內(nèi)容：響應(yīng)式系統(tǒng)、模板庫和可在服務(wù)器端和客戶端工作的路由器。

細粒度響應(yīng)式：整個框架是從響應(yīng)式原語構(gòu)建的，這允許以最小的開銷執(zhí)行極高性能的代碼。

注意：此項目正在開發(fā)中，API 不一定穩(wěn)定。

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

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

rmx：增強的rm

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

原生 GNUrmAPI。

回收站集成（-t）。

賊快。

不可恢復(fù)的移除（--shred）。

更多過濾選項。

性能對比如下：

relay：構(gòu)建數(shù)據(jù)驅(qū)動的React應(yīng)用

prusti-dev：Rust靜態(tài)驗證器

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

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

oscli：實時音頻可視化

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

審核編輯：劉清