verus-lang/verusfmt

An Opinionated Formatter for Verus

GitHub repository with 20 stars and 14 forks.

Language: Rust

Topics: formatter, pretty-printer, verus

Open provider repository

Latest metric snapshot

2026-06-05: 20 stars and 14 forks.

Similar repositories

  1. 1. biomejs/biome

    A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

    GitHub repository with 24,853 stars and 1,013 forks.

    Trending score: 1.60; stars gained: +22; forks gained: +1.

    Language: Rust

    Topics: css, formatter, javascript, json, jsx, linter

  2. 2. carthage-software/mago

    Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

    GitHub repository with 3,184 stars and 156 forks.

    Trending score: 1.21; stars gained: +10; forks gained: +3.

    Language: Rust

    Topics: code-analyzer, code-style, coding-standards, formatter, lexer, linter

  3. 3. rvben/rumdl

    Fast Markdown linter and formatter written in Rust

    GitHub repository with 1,231 stars and 59 forks.

    Trending score: 1.11; stars gained: +7; forks gained: +0.

    Language: Rust

    Topics: formatter, linter, markdown, rust, cli, developer-tools

  4. 4. Myriad-Dreamin/tinymist

    Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

    GitHub repository with 3,257 stars and 164 forks.

    Trending score: 1.11; stars gained: +7; forks gained: +2.

    Language: Rust

    Topics: formatter, lsp, lsp-server, typst, vscode-extension, language-server

  5. 5. integrated-application-development/pasfmt

    Delphi code formatter

    GitHub repository with 93 stars and 19 forks.

    Trending score: 0.47; stars gained: +1; forks gained: +1.

    Language: Rust

    Topics: delphi, formatter, pascal

  6. 6. navidnabavi/styl

    A fast, opinionated linter, validator, and formatter for Mapbox GL and MapLibre GL style JSON files.

    GitHub repository with 33 stars and 1 forks.

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

    Language: Rust

    Topics: cli, formatter, geojson, geospatial, gis, linter

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,904 stars and 863 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,879 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,864 stars and 2,980 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,094 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: formatter

  1. 1. biomejs/biome

    A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

    GitHub repository with 24,853 stars and 1,013 forks.

    Trending score: 1.60; stars gained: +22; forks gained: +1.

    Language: Rust

    Topics: css, formatter, javascript, json, jsx, linter

  2. 2. carthage-software/mago

    Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

    GitHub repository with 3,184 stars and 156 forks.

    Trending score: 1.21; stars gained: +10; forks gained: +3.

    Language: Rust

    Topics: code-analyzer, code-style, coding-standards, formatter, lexer, linter

  3. 3. rvben/rumdl

    Fast Markdown linter and formatter written in Rust

    GitHub repository with 1,231 stars and 59 forks.

    Trending score: 1.11; stars gained: +7; forks gained: +0.

    Language: Rust

    Topics: formatter, linter, markdown, rust, cli, developer-tools

  4. 4. Myriad-Dreamin/tinymist

    Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

    GitHub repository with 3,257 stars and 164 forks.

    Trending score: 1.11; stars gained: +7; forks gained: +2.

    Language: Rust

    Topics: formatter, lsp, lsp-server, typst, vscode-extension, language-server

  5. 5. uncrustify/uncrustify

    Code beautifier

    GitHub repository with 3,047 stars and 597 forks.

    Trending score: 1.04; stars gained: +5; forks gained: +0.

    Language: C++

    Topics: beautifier, beautify, code-style, format, formatter

  6. 6. integrated-application-development/pasfmt

    Delphi code formatter

    GitHub repository with 93 stars and 19 forks.

    Trending score: 0.47; stars gained: +1; forks gained: +1.

    Language: Rust

    Topics: delphi, formatter, pascal