HYSEN LABS 專案目錄

#Rust

程式語言 標籤 · 精選儲存庫與深度解析。

135 個精選開源專案
crossterm-rs

crossterm

4,216

跨平台終端庫 Rust。它支援所有 UNIX 和 Windows 終端,直至 Windows 7(並非所有終端都經過測試,有關詳細信息,請參閱測試的終端)。

Rust作業系統與基礎設施418 個 Fork
wild-linker

wild

3,970

Linux 的非常快速的連結器。 Rust (Cargo) 您可以在 ~/.cargo/config.toml 中使用上述的選項之一: 或:CMake CMake 4.4 或更高版本與 Clang 或 GCC 16 或更高版本一起使用時直接支援 Wild。

Rust開發工具138 個 Fork
yvgude

lean-ctx

3,781

控制您的人工智慧可以看到的內容。 LeanCTX(精益上下文)是 AI 代理的上下文智慧層,這是一個本地 Rust 二進位文件,可以決定它們讀取什麼、記住它們學到的內容、保護它們接觸的內容並證明它們保存的內容。 60 減少 90% 的收據代幣。 76 個 MCP 工具,30 多個代理,本地優先。

RustAI 與機器學習347 個 Fork
verus-lang

verus

3,039

已驗證 Rust 的低階系統代碼。 Verus 沒有加入執行時間檢查,而是依靠強大的求解器來證明程式碼是正確的。

Rust開發工具220 個 Fork
jfecher

ante

2,341

一種安全、簡單的系統語言。這些測試中包含命令,goldentests 庫使用這些命令來執行 ante 編譯器,並根據該檔案註釋中包含的預期輸出檢查每個檔案的輸出。

Rust作業系統與基礎設施116 個 Fork
rust-lang

cc-rs

2,155

此專案圍繞「rust-lang/cc-rs」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。

Rust開發工具616 個 Fork
GCWing

BitFun

2,128

BitFun 是桌面級代理程式運行時和即用型桌面代理應用程式套件。具有內建代碼代理 Cowork 代理計算機使用。它具有記憶、個性以及隨時間進化的能力。

RustAI 與機器學習227 個 Fork
databendlabs

openraft

2,054

鏽筏經過改進。路線圖 [x] 2022-10-31 擴大聯合會員資格 [x] 2023-02-14 盡量減少選舉時的衝突率;請參閱:OpenRaft 投票設計;或使用標準 Raft Leader-ID 模式。

Rust開發工具247 個 Fork
jdx

aube

1,999

一個快速的 Node.js 套件管理器。重複測試指令的運行速度比 pnpm 快 31 倍,比 Bun 快 5 倍。

Rust開發工具62 個 Fork