A minimal, self-contained implementation of a Lean 4-style theorem prover kernel in Rust.
GitHub repository with 27 stars and 5 forks.
Language: Rust
Topics: formal-methods, formal-verification, lean, lean4, rust, theorem-prover, theorem-proving
Trending score 0.80, freshness score 0.95, stars gained +0, forks gained +0.
2026-11-15: 27 stars and 5 forks.
Local-first search across your workspace, built for humans and AI agents.
GitHub repository with 4,317 stars and 268 forks.
Trending score: 1.94; stars gained: +5; forks gained: +1.
Language: Rust
Topics: ai-agents, bm25, cli, code-search, full-text-search, local-first
A WiFi security auditing software
GitHub repository with 5,928 stars and 1,030 forks.
Trending score: 4.67; stars gained: +479; forks gained: +70.
Language: Rust
Topics: gui, security, security-audit, wifi, wifi-security, wireless
A Kubernetes TUI, reimagined in Rust - built on kube-rs and ratatui, async-first from the ground up.
GitHub repository with 1,864 stars and 83 forks.
Trending score: 1.97; stars gained: +8; forks gained: +0.
Language: Rust
Topics: argocd, devops, eks, flux, fluxcd, gke
Lightweight coding agent that runs in your terminal
GitHub repository with 135,343 stars and 21,465 forks.
Trending score: 4.90; stars gained: +257; forks gained: +52.
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 3,817 stars and 221 forks.
Trending score: 3.05; stars gained: +45; forks gained: +5.
Language: Rust
Topics: ai-cli, ai-terminal, claude-code, codex, conpty, developer-tools
Open source Loom alternative. Beautiful, shareable screen recordings.
GitHub repository with 25,026 stars and 2,354 forks.
Trending score: 4.04; stars gained: +100; forks gained: +15.
Language: Rust
Topics: app, cap, coss, loom, mac, nextjs