HYSEN LABS DIRECTORY

#Rust

Language tag · curated repositories and deep analysis.

135 curated open-source projects
crossterm-rs

crossterm

4,216

Cross platform terminal library rust. It supports all UNIX and Windows terminals down to Windows 7 (not all terminals are tested, see Tested Terminals for more info).

RustSystems & Infrastructure418 forks
wild-linker

wild

3,970

A very fast linker for Linux. Rust (Cargo) You can use one of the options mentioned above in ~/.cargo/config.toml: Or: CMake CMake 4.4 or later supports Wild directly when used with Clang or GCC 16 or later.

RustDeveloper Tools138 forks
yvgude

lean-ctx

3,781

Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents, one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60 90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first.

RustAI & Machine Learning347 forks
edison7009

EchoBird

3,229

One-click install + model switch:Claude Code,Codex CLI (OpenAI), Grok Build (xAI), Kimi Code (Moonshot) ,Qwen Code,Aider,OpenCode,MiMo Code (Xiaomi),ZCode (Z.AI),OpenClaw,Pi,OpenScience,Vibe-Trading,Claude Desktop (3P profile),ChatGPT desktop,OpenCode Desktop,WorkBuddy (Tencent CodeBuddy).

RustAI & Machine Learning366 forks
verus-lang

verus

3,039

Verified Rust for low-level systems code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct.

RustDeveloper Tools220 forks
jfecher

ante

2,341

A safe, easy systems language. These tests have commands in them which the goldentests library uses to run the ante compiler and check its output for each file against the expected output contained within comments of that file.

RustSystems & Infrastructure116 forks
GCWing

BitFun

2,128

BitFun is a desktop-grade Agent runtimeand a ready-to-use suite of desktop Agent applications.with built-in Code Agent Cowork Agent Computer Use. It has memory, personality, and the ability to evolve over time.

RustAI & Machine Learning227 forks
databendlabs

openraft

2,054

rust raft with improvements. Roadmap [x] 2022-10-31 Extended joint membership [x] 2023-02-14 Minimize confliction rate when electing; See: OpenRaft Vote design; Or use standard Raft leader-ID mode.

RustDeveloper Tools247 forks
UniClipboard

UniClipboard

1,716

Real-time clipboard sync across all your devices, local-first, peer-to-peer, and end-to-end encrypted. No account. No cloud dependency. No central server.

RustCloud Native & DevOps78 forks