🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
GitHub repository with 4,815 stars and 719 forks.
Language: Rust
Topics: programming-language, zero-knowledge, compiler, zksnarks, leo
Trending score 0.05, activity score 0.05, stars gained +0, forks gained +1.
2026-06-05: 4,815 stars and 719 forks.
Aver is a programming language for auditable AI-written code
GitHub repository with 47 stars and 0 forks.
Trending score: 0.61; stars gained: +3; forks gained: +0.
Language: Rust
Topics: ai-code, dafny, effect-system, formal-verification, lean4, programming-language
The Wado Programming Language
GitHub repository with 90 stars and 2 forks.
Trending score: 0.37; stars gained: +1; forks gained: +0.
Language: Rust
Topics: wado, wasi, wasm, programming-language
Un lenguaje de programación hecho a la chilena
GitHub repository with 31 stars and 2 forks.
Trending score: 0.33; stars gained: +1; forks gained: +0.
Language: Rust
Topics: chile, interpreter, programming-language, spanish-language
csv++ - Spreadsheets as Code
GitHub repository with 28 stars and 1 forks.
Trending score: 0.18; stars gained: +0; forks gained: +0.
Language: Rust
Topics: csv, csvpp, excel, google-sheets, programming-language, spreadsheet
an interactive programming language
GitHub repository with 58 stars and 2 forks.
Trending score: 0.16; stars gained: +0; forks gained: +0.
Language: Rust
Topics: programming-language
A functional programming language optimized for LLM code generation. Compiles to Rust and WebAssembly.
GitHub repository with 17 stars and 0 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Rust
Topics: code-generation, compiler, functional-programming, llm, programming-language, rust
An enhanced tool for CodexApp, striving to make Codex better to use and more comfortable 一个CodexApp的增强工具，努力让Codex变得更好用更舒服
GitHub repository with 13,621 stars and 843 forks.
Trending score: 5.16; stars gained: +916; forks gained: +44.
Language: Rust
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
Lightweight coding agent that runs in your terminal
GitHub repository with 88,769 stars and 13,041 forks.
Trending score: 4.58; stars gained: +326; forks gained: +48.
Language: Rust
Your Personal AI super intelligence. Private, Simple and extremely powerful.
GitHub repository with 30,803 stars and 2,971 forks.
Trending score: 4.37; stars gained: +332; forks gained: +50.
Language: Rust
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,040 stars and 91 forks.
Trending score: 4.05; stars gained: +346; forks gained: +16.
Language: Rust
Topics: cli, code-quality, dead-code, developer-tools, javascript, linter
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
The Go programming language
GitHub repository with 134,282 stars and 19,098 forks.
Trending score: 2.97; stars gained: +45; forks gained: +3.
Language: Go
Topics: programming-language, language, go, golang
The Kotlin Programming Language.
GitHub repository with 52,809 stars and 6,325 forks.
Trending score: 2.08; stars gained: +9; forks gained: +6.
Language: Kotlin
Topics: kotlin, programming-language, compiler, gradle-plugin, maven-plugin, kotlin-library
Odin Programming Language
GitHub repository with 10,568 stars and 973 forks.
Trending score: 1.68; stars gained: +30; forks gained: +5.
Language: Odin
Topics: odin-programming-language, odin, language, compiler, odin-lang, programming-language
The Julia Programming Language
GitHub repository with 48,745 stars and 5,783 forks.
Trending score: 1.16; stars gained: +15; forks gained: +0.
Language: Julia
Topics: julia-language, julia, scientific, hpc, numerical, machine-learning
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
GitHub repository with 11,173 stars and 1,823 forks.
Trending score: 0.97; stars gained: +7; forks gained: +2.
Language: Dart
Topics: dart, language, programming-language, sdk
A compiled, statically-typed programming language with Python-style syntax, Rust-level performance, and full bilingual (English + Hausa) keyword support.
GitHub repository with 42 stars and 11 forks.
Trending score: 0.95; stars gained: +8; forks gained: +1.
Language: C
Topics: easy, friendly, native, programming-language, systems-programming, very-fast