All repos — GH Trending Explorer

AhmadHassan-BTed / OpenHeart

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

static-analysis compiler uml

rust-lang / rust

Empowering everyone to build reliable and efficient software.

programming-language compiler documentation

indexable-inc / blaze

Incremental rust builds up to 92x faster than cargo/rustc

programming-language developer-tools build-tools

ankitects / anki

Anki is a smart spaced repetition flashcard program

learning-resources desktop-app education

GyulyVGC / sniffnet

Comfortably monitor your network traffic 🕵️‍♂️

security networking desktop-app

zedlanguage / zed

A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification

NVIDIA / cuda-rust

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

gpu programming-languages high-performance-computing

superradcompany / microsandbox

🧱 easy, fast, programmable and local-first microVM runtime and library

ramensoftware / windhawk

The customization marketplace for Windows programs: https://windhawk.net/

rustdesk / rustdesk-server

RustDesk Server Program

N0067H / yahalang

A small stack-based esolang that uses Usagi’s sounds from Chiikawa

tree-sitter / tree-sitter

An incremental parsing system for programming tools

UCS-Care-Group / mailcraft

MailCraft: an open-source, clean-room mail, calendar and contacts program in pure Rust, for Microsoft 365, Outlook.com and IMAP. Early alpha.

model-checking / kani

A model checker for Rust programs.

rust-lang / book

The Rust Programming Language

sunface / rust-course

什么？你敢放心的把后背交给 AI? 我赌你不敢，那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

ivov / lisette

A little language inspired by Rust that compiles to Go

BoundaryML / baml

The programming language for agents

svenshi / oxidns

A high-performance, programmable DNS engine in Rust with flexible pipeline-based routing.

paradigmxyz / solar

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

cloudflare / quiche

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

gleam-lang / gleam

⭐️ A friendly language for building type-safe, scalable systems!

analysis-tools-dev / static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

eclipse-zenoh / zenoh

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

enroute-sh / enroute

Programmable git infrastructure on top of object storage. Think turbopuffer for git. Open source alternative to Pierre (code.storage) and Cloudflare Artifacts.

benfred / py-spy

Sampling profiler for Python programs

richiemcilroy / Tov

A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.

programming-language compiler developer-tools

pegainfer-project / kern

A model-agnostic GPU runtime for shipping models as verified programs.

Rust-GPU / rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

WeaveMindAI / weft

A programming language for AI orchestrations

succinctlabs / sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

mlc-ai / TIRx-harness

An Open Compiler Harness for Agentic GPU Programming

aya-rs / aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

mattwparas / steel

An embedded scheme interpreter in Rust

valen-lang / Valen

Compiler for the Valen programming language

unhappychoice / gittype

A CLI code-typing game that turns your source code into typing challenges

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

gethopp / hopp

The best OSS remote pair programming app.

sharkdp / numbat

A statically typed programming language for scientific computations with first class support for physical dimensions and units

Cor3Duo / kirikae

Static recompiler that turns Nintendo Switch executables into native PC programs, written in Rust.

rune-rs / rune

An embeddable dynamic programming language for Rust.

uiua-lang / uiua

A tacit array programming language

rustfinity / rustfinity

Learn and Practice the Rust programming language the effective way.

Nexq-Pro / program

`solana-qsim` is a quantum circuit simulator that runs inside a Solana program. A program can re-run a small circuit itself, exactly, and score a quantum computer's measured counts against it. Combined with an on-chain receipt of the QPU job, a forged or tampered result is rejected on-chain.

UCS-Care-Group / projectcraft

ProjectCraft: an open-source, clean-room project scheduling program (Microsoft Project-style) in pure Rust

crossbeam-rs / crossbeam

Tools for concurrent programming in Rust

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

microsoft / qdk

Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

dom96 / KillSwitch

An esoteric programming language built to break LLMs and coding agents.

Rust-GPU / rust-cuda

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

tach-org / tach

A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust