A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
GitHub repository with 5 stars and 0 forks.
Language: Rust
Topics: aws-lambda, formal-verification, microvm, rust, stateright
Trending score 0.10, freshness score 0.90, stars gained +0, forks gained +0.
2026-09-24: 5 stars and 0 forks.
Local-first search across your workspace, built for humans and AI agents.
GitHub repository with 3,763 stars and 222 forks.
Trending score: 4.64; stars gained: +116; forks gained: +3.
Language: Rust
Topics: ai-agents, bm25, cli, code-search, full-text-search, local-first
A WiFi security auditing software
GitHub repository with 3,587 stars and 605 forks.
Trending score: 4.01; stars gained: +30; forks gained: +3.
Language: Rust
Topics: aircrack-ng, gui, kali, linux-app, security, security-audit
A Kubernetes TUI, reimagined in Rust - built on kube-rs and ratatui, async-first from the ground up.
GitHub repository with 1,481 stars and 64 forks.
Trending score: 4.35; stars gained: +135; forks gained: +7.
Language: Rust
Topics: argocd, devops, eks, flux, fluxcd, gke
Lightweight coding agent that runs in your terminal
GitHub repository with 126,343 stars and 19,703 forks.
Trending score: 5.05; stars gained: +383; forks gained: +103.
Language: Rust
AI-native, GPU-accelerated terminal emulator for Windows with SSH, persistent sessions, split panes, and first-class AI CLI workflows.
GitHub repository with 2,237 stars and 115 forks.
Trending score: 4.65; stars gained: +230; forks gained: +13.
Language: Rust
Topics: ai-cli, ai-terminal, claude-code, codex, conpty, developer-tools
Open source Loom alternative. Beautiful, shareable screen recordings.
GitHub repository with 22,749 stars and 1,963 forks.
Trending score: 4.39; stars gained: +121; forks gained: +14.
Language: Rust
Topics: app, cap, coss, loom, mac, nextjs