Generate Rust, Go, Python, Swift, TypeScript and C from Lean, with the proofs carried into every package
GitHub repository with 5 stars and 0 forks.
Language: Rust
Topics: c, code-generation, code-generator, compiler, dependent-types, ffi, formal-verification, golang, lake, lean
Trending score 0.08, freshness score 0.64, stars gained +0, forks gained +0.
2026-11-03: 5 stars and 0 forks.
Local-first search across your workspace, built for humans and AI agents.
GitHub repository with 4,219 stars and 257 forks.
Trending score: 1.96; stars gained: +4; forks gained: +4.
Language: Rust
Topics: ai-agents, bm25, cli, code-search, full-text-search, local-first
A WiFi security auditing software
GitHub repository with 4,805 stars and 806 forks.
Trending score: 1.48; stars gained: +0; forks gained: +0.
Language: Rust
Topics: gui, kali, linux-app, security, security-audit, wifi
A Kubernetes TUI, reimagined in Rust - built on kube-rs and ratatui, async-first from the ground up.
GitHub repository with 1,823 stars and 80 forks.
Trending score: 1.76; stars gained: +6; forks gained: +0.
Language: Rust
Topics: argocd, devops, eks, flux, fluxcd, gke
Lightweight coding agent that runs in your terminal
GitHub repository with 132,957 stars and 21,034 forks.
Trending score: 5.14; stars gained: +401; forks gained: +88.
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,698 stars and 211 forks.
Trending score: 2.82; stars gained: +30; forks gained: +2.
Language: Rust
Topics: ai-cli, ai-terminal, claude-code, codex, conpty, developer-tools
Open source Loom alternative. Beautiful, shareable screen recordings.
GitHub repository with 24,285 stars and 2,237 forks.
Trending score: 4.15; stars gained: +127; forks gained: +17.
Language: Rust
Topics: app, cap, coss, loom, mac, nextjs