model-checking/kani

Kani Rust Verifier

GitHub repository with 3,112 stars and 149 forks.

Language: Rust

Topics: rust, model-checking, verification

Open provider repository

Latest metric snapshot

2026-06-05: 3,112 stars and 149 forks.

Similar repositories

  1. 1. Hmbown/CodeWhale

    DeepSeek + MiMo coding agent in terminal

    GitHub repository with 37,102 stars and 3,192 forks.

    Trending score: 4.80; stars gained: +393; forks gained: +32.

    Language: Rust

    Topics: cli, deepseek, llm, rust, terminal, tui

  2. 2. fallow-rs/fallow

    Codebase intelligence for TypeScript and JavaScript. Free static layer: unused code, duplication, circular deps, complexity hotspots, architecture boundaries. Optional paid runtime layer: hot-path review and cold-path deletion evidence from real production traffic. Rust-native, sub-second, zero-config framework support.

    GitHub repository with 3,058 stars and 94 forks.

    Trending score: 4.05; stars gained: +346; forks gained: +16.

    Language: Rust

    Topics: cli, code-duplication, code-quality, codebase-intelligence, copy-paste-detection, dead-code

  3. 3. ogulcancelik/herdr

    agent multiplexer that lives in your terminal.

    GitHub repository with 4,330 stars and 264 forks.

    Trending score: 4.04; stars gained: +212; forks gained: +3.

    Language: Rust

    Topics: agent, agent-orchestration, ai, ai-agents, claude-code, cli

  4. 4. iii-hq/iii

    Effortlessly compose, extend, and observe every service in real-time for the first time ever.

    GitHub repository with 17,676 stars and 1,166 forks.

    Trending score: 3.61; stars gained: +127; forks gained: +9.

    Language: Rust

    Topics: agents, ai, api, backend, developer-tools, framework

  5. 5. warpdotdev/warp

    Warp is an agentic development environment, born out of the terminal.

    GitHub repository with 61,044 stars and 4,893 forks.

    Trending score: 3.54; stars gained: +71; forks gained: +21.

    Language: Rust

    Topics: bash, linux, macos, rust, shell, terminal

  6. 6. niri-wm/niri

    A scrollable-tiling Wayland compositor.

    GitHub repository with 24,915 stars and 928 forks.

    Trending score: 3.32; stars gained: +153; forks gained: +4.

    Language: Rust

    Topics: rust, smithay, tiling-window-manager, wayland, wayland-compositor

Trending in Rust

  1. 1. BigPizzaV3/CodexPlusPlus

    An enhanced tool for CodexApp, striving to make Codex better to use and more comfortable 一个CodexApp的增强工具，努力让Codex变得更好用更舒服

    GitHub repository with 13,682 stars and 846 forks.

    Trending score: 5.16; stars gained: +916; forks gained: +44.

    Language: Rust

  2. 2. Hmbown/CodeWhale

    DeepSeek + MiMo coding agent in terminal

    GitHub repository with 37,102 stars and 3,192 forks.

    Trending score: 4.80; stars gained: +393; forks gained: +32.

    Language: Rust

    Topics: cli, deepseek, llm, rust, terminal, tui

  3. 3. openai/codex

    Lightweight coding agent that runs in your terminal

    GitHub repository with 88,794 stars and 13,046 forks.

    Trending score: 4.58; stars gained: +326; forks gained: +48.

    Language: Rust

  4. 4. tinyhumansai/openhuman

    Your Personal AI super intelligence. Private, Simple and extremely powerful.

    GitHub repository with 30,826 stars and 2,977 forks.

    Trending score: 4.37; stars gained: +332; forks gained: +50.

    Language: Rust

  5. 5. fallow-rs/fallow

    Codebase intelligence for TypeScript and JavaScript. Free static layer: unused code, duplication, circular deps, complexity hotspots, architecture boundaries. Optional paid runtime layer: hot-path review and cold-path deletion evidence from real production traffic. Rust-native, sub-second, zero-config framework support.

    GitHub repository with 3,058 stars and 94 forks.

    Trending score: 4.05; stars gained: +346; forks gained: +16.

    Language: Rust

    Topics: cli, code-duplication, code-quality, codebase-intelligence, copy-paste-detection, dead-code

  6. 6. ogulcancelik/herdr

    agent multiplexer that lives in your terminal.

    GitHub repository with 4,330 stars and 264 forks.

    Trending score: 4.04; stars gained: +212; forks gained: +3.

    Language: Rust

    Topics: agent, agent-orchestration, ai, ai-agents, claude-code, cli

Trending topic: rust

  1. 1. can1357/oh-my-pi

    ⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

    GitHub repository with 10,606 stars and 885 forks.

    Trending score: 4.82; stars gained: +560; forks gained: +62.

    Language: TypeScript

    Topics: ai-agent, ai-coding-agent, anthropic, bun, claude, cli

  2. 2. Hmbown/CodeWhale

    DeepSeek + MiMo coding agent in terminal

    GitHub repository with 37,102 stars and 3,192 forks.

    Trending score: 4.80; stars gained: +393; forks gained: +32.

    Language: Rust

    Topics: cli, deepseek, llm, rust, terminal, tui

  3. 3. crynta/terax-ai

    Lightweight (7MB) Terminal-first AI-native dev workspace

    GitHub repository with 6,748 stars and 726 forks.

    Trending score: 4.42; stars gained: +213; forks gained: +26.

    Language: TypeScript

    Topics: ai, code-editor, linux, macos, rust, tauri

  4. 4. fallow-rs/fallow

    Codebase intelligence for TypeScript and JavaScript. Free static layer: unused code, duplication, circular deps, complexity hotspots, architecture boundaries. Optional paid runtime layer: hot-path review and cold-path deletion evidence from real production traffic. Rust-native, sub-second, zero-config framework support.

    GitHub repository with 3,058 stars and 94 forks.

    Trending score: 4.05; stars gained: +346; forks gained: +16.

    Language: Rust

    Topics: cli, code-duplication, code-quality, codebase-intelligence, copy-paste-detection, dead-code

  5. 5. ogulcancelik/herdr

    agent multiplexer that lives in your terminal.

    GitHub repository with 4,330 stars and 264 forks.

    Trending score: 4.04; stars gained: +212; forks gained: +3.

    Language: Rust

    Topics: agent, agent-orchestration, ai, ai-agents, claude-code, cli

  6. 6. Achilng/floral-notepaper

    花笺，轻量优雅的跨平台桌面便签工具，支持 Markdown 编辑与预览

    GitHub repository with 3,390 stars and 175 forks.

    Trending score: 4.01; stars gained: +206; forks gained: +12.

    Language: TypeScript

    Topics: macos, markdown, note-taking, react, rust, sticky-notes