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

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

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

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

Web：Leptos 建立在 Web 平臺(tái)和 Web 標(biāo)準(zhǔn)之上。

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

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

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

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

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

rmx：增強(qiáng)的rm

對(duì) rm API 進(jìn)行了擴(kuò)展和性能改進(jìn)（特別是對(duì)大文件和深度嵌套目錄）。特點(diǎn)如下：

原生 GNUrmAPI。

回收站集成（-t）。

賊快。

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

更多過(guò)濾選項(xiàng)。

性能對(duì)比如下：

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

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

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

最簡(jiǎn)單的嘗試方法是使用 VS Code 插件

oscli：實(shí)時(shí)音頻可視化

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

審核編輯：劉清