creusot-rs/creusot

Creusot helps you prove your Rust code is correct.

GitHub repository with 1,772 stars and 78 forks.

Language: Rust

Topics: rust-lang, verification, proof, formal-verification, deductive-reasoning, why3, rust, formal-methods, contracts

Open provider repository

24h trend summary

Trending score 1.10, freshness score 0.95, stars gained +2, forks gained +0.

Latest metric snapshot

2026-06-15: 1,772 stars and 78 forks.

Trending in Rust

  1. 1. farion1231/cc-switch

    A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Gemini CLI & Hermes Agent. Only official website: ccswitch.io

    GitHub repository with 101,399 stars and 6,706 forks.

    Trending score: 5.98; stars gained: +1,282; forks gained: +106.

    Language: Rust

    Topics: ai-tools, claude-code, codex, desktop-app, hermes, hermes-agent

  2. 2. BigPizzaV3/CodexPlusPlus

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

    GitHub repository with 18,792 stars and 1,190 forks.

    Trending score: 5.44; stars gained: +649; forks gained: +58.

    Language: Rust

  3. 3. rtk-ai/rtk

    CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

    GitHub repository with 62,529 stars and 3,868 forks.

    Trending score: 5.37; stars gained: +689; forks gained: +65.

    Language: Rust

    Topics: agentic-coding, ai-coding, anthropic, claude-code, cli, command-line-tool

  4. 4. aaif-goose/goose

    an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

    GitHub repository with 49,474 stars and 5,225 forks.

    Trending score: 4.98; stars gained: +255; forks gained: +31.

    Language: Rust

    Topics: acp, ai, ai-agents, mcp

  5. 5. ruvnet/RuView

    π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

    GitHub repository with 73,984 stars and 9,882 forks.

    Trending score: 4.83; stars gained: +185; forks gained: +32.

    Language: Rust

    Topics: awesome, claude, densepose, esp32, firmware, home-assistant

  6. 6. tinyhumansai/openhuman

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

    GitHub repository with 32,234 stars and 3,121 forks.

    Trending score: 4.79; stars gained: +324; forks gained: +36.

    Language: Rust