jfecher/ante

A safe, easy systems language

GitHub repository with 2,239 stars and 110 forks.

Language: Rust

Topics: compiler, language, systems-language, refinement-types, llvm, ante

Open provider repository

Latest metric snapshot

2026-06-05: 2,239 stars and 110 forks.

Similar repositories

  1. 1. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    GitHub repository with 113,577 stars and 15,080 forks.

    Trending score: 3.01; stars gained: +45; forks gained: +2.

    Language: Rust

    Topics: compiler, language, rust

  2. 2. oxc-project/oxc

    ⚓ A collection of high-performance JavaScript tools.

    GitHub repository with 21,430 stars and 1,060 forks.

    Trending score: 2.67; stars gained: +43; forks gained: +4.

    Language: Rust

    Topics: compiler, javascript, linter, minifier, parser, transpiler

  3. 3. ubugeeei-prod/vize

    Unofficial High-Performance Vue.js Toolchain in Rust

    GitHub repository with 727 stars and 30 forks.

    Trending score: 2.08; stars gained: +5; forks gained: +1.

    Language: Rust

    Topics: compiler, linter, lsp, parser, performance, semantic-analysis

  4. 4. typst/typst

    A markup-based typesetting system that is powerful and easy to learn.

    GitHub repository with 54,007 stars and 1,592 forks.

    Trending score: 1.68; stars gained: +58; forks gained: +0.

    Language: Rust

    Topics: compiler, markup, typesetting, typst

  5. 5. AeneasVerif/charon

    Analyze Rust crates without touching compiler internals

    GitHub repository with 357 stars and 43 forks.

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

    Language: Rust

    Topics: compiler, formal-methods, formal-verification, program-verification, rust, rust-lang

  6. 6. parcel-bundler/lightningcss

    An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.

    GitHub repository with 7,558 stars and 276 forks.

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

    Language: Rust

    Topics: build-tool, compiler, css, minifier, parser, 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,892 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,876 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,861 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,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: compiler

  1. 1. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    GitHub repository with 113,577 stars and 15,080 forks.

    Trending score: 3.01; stars gained: +45; forks gained: +2.

    Language: Rust

    Topics: compiler, language, rust

  2. 2. vercel/next.js

    The React Framework

    GitHub repository with 139,838 stars and 31,200 forks.

    Trending score: 2.67; stars gained: +28; forks gained: -1.

    Language: JavaScript

    Topics: blog, browser, compiler, components, hybrid, nextjs

  3. 3. oxc-project/oxc

    ⚓ A collection of high-performance JavaScript tools.

    GitHub repository with 21,430 stars and 1,060 forks.

    Trending score: 2.67; stars gained: +43; forks gained: +4.

    Language: Rust

    Topics: compiler, javascript, linter, minifier, parser, transpiler

  4. 4. JetBrains/kotlin

    The Kotlin Programming Language.

    GitHub repository with 52,811 stars and 6,324 forks.

    Trending score: 2.08; stars gained: +9; forks gained: +6.

    Language: Kotlin

    Topics: compiler, gradle-plugin, intellij-plugin, kotlin, kotlin-library, maven-plugin

  5. 5. ubugeeei-prod/vize

    Unofficial High-Performance Vue.js Toolchain in Rust

    GitHub repository with 727 stars and 30 forks.

    Trending score: 2.08; stars gained: +5; forks gained: +1.

    Language: Rust

    Topics: compiler, linter, lsp, parser, performance, semantic-analysis

  6. 6. odin-lang/Odin

    Odin Programming Language

    GitHub repository with 10,579 stars and 973 forks.

    Trending score: 1.68; stars gained: +30; forks gained: +5.

    Language: Odin

    Topics: compiler, language, odin, odin-lang, odin-programming-language, programming-language