flux-rs/flux

Refinement Types for Rust

GitHub repository with 876 stars and 40 forks.

Language: Rust

Topics: refinement-types, rust

Open provider repository

24h trend summary

Trending score 0.49, activity score 0.05, stars gained +2, forks gained +2.

Latest metric snapshot

2026-06-05: 876 stars and 40 forks.

Similar repositories

  1. 1. flux-rs/flux

    Refinement Types for Rust

    GitHub repository with 876 stars and 40 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +2.

    Language: Rust

    Topics: refinement-types, rust

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,888 stars and 862 forks.

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

    Language: Rust

  2. 2. 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 59,069 stars and 3,636 forks.

    Trending score: 4.96; stars gained: +654; forks gained: +44.

    Language: Rust

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

  3. 3. openai/codex

    Lightweight coding agent that runs in your terminal

    GitHub repository with 88,870 stars and 13,059 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,862 stars and 2,979 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,092 stars and 95 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. 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 46,604 stars and 4,868 forks.

    Trending score: 3.80; stars gained: +152; forks gained: +28.

    Language: Rust

Trending topic: refinement-types

  1. 1. flux-rs/flux

    Refinement Types for Rust

    GitHub repository with 876 stars and 40 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +2.

    Language: Rust

    Topics: refinement-types, rust

  2. 2. ucsd-progsys/liquidhaskell

    Liquid Types For Haskell

    GitHub repository with 1,311 stars and 158 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Haskell

    Topics: haskell, refinement-types, smt, verification