πŸ“ˆ GH Trending Explorer 🎲 Surprise me

Search: programming Β· Language: Rust Β· AI hidden Β· clear

gleam-lang / gleam

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

β˜… 22k Rust 4d ago
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.

β˜… 15k Rust today
cloudflare / quiche

πŸ₯§ Savoury implementation of the QUIC transport protocol and HTTP/3

β˜… 13k Rust today
MystenLabs / sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

β˜… 7.8k Rust today
tailcallhq / forgecode

AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models

β˜… 7.6k Rust today
Rust-GPU / rust-cuda

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

β˜… 5.4k Rust 21d ago
amber-lang / amber

πŸ’Ž Amber the programming language compiled to Bash/Ksh/Zsh

β˜… 5.2k Rust 1d ago
aya-rs / aya

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

β˜… 4.9k Rust today
gyscos / cursive

A Text User Interface library for the Rust programming language

β˜… 4.9k Rust 25d ago
aleo-labs-protocol / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

β˜… 4.8k Rust 12d ago
poem-web / poem

A full-featured and easy-to-use web framework with the Rust programming language.

β˜… 4.5k Rust 2d ago
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.

β˜… 3.8k Rust today
Rust-GPU / rust-gpu

πŸ‰ Making Rust a first-class language and ecosystem for GPU shaders 🚧

β˜… 3.4k Rust 4d ago
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.

β˜… 3.3k Rust 1d ago
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

β˜… 2.9k Rust 14d ago
sharkdp / numbat

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

β˜… 2.8k Rust 9d ago
rune-rs / rune

An embeddable dynamic programming language for Rust.

β˜… 2.3k Rust 9d ago
liljencrantz / crush

Crush is a command line shell that is also a powerful modern programming language.

β˜… 1.9k Rust 28d ago
ThisSeanZhang / landscape

The goal is to make it easier to configure your favorite Linux distribution as a router. Built with Rust and eBPF.

β˜… 1.6k Rust today
ivov / lisette

A little language inspired by Rust that compiles to Go

β˜… 1.6k Rust today
Tencent / tquic

A high-performance, lightweight, and cross-platform QUIC library

β˜… 1.4k Rust 12d ago
noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

β˜… 1.4k Rust today
inko-lang / inko

A language for building concurrent software with confidence

β˜… 1.3k Rust 2d ago
plabayo / rama

modular service framework to move and transform network packets

β˜… 1.2k Rust today
rue-language / rue

A programming language that is higher level than Rust but lower level than Go. Someday, anyways.

β˜… 1.2k Rust today
betaveros / noulith

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

β˜… 1.2k Rust today
rxRust / rxRust

Zero-cost & Type-safe Reactive Extensions for Rust. Supports both high-performance single-threaded (Local) and thread-safe (Shared) contexts. WASM & Tokio ready.

β˜… 1.1k Rust 9d ago
microsoft / qdk

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

β˜… 1.0k Rust today
kaspanet / rusty-kaspa

Kaspa full-node reference implementation and related libraries in the Rust programming language

β˜… 874 Rust 1d ago
par-team / par-lang

Par (β…‹) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

β˜… 808 Rust 1d ago
h5i-dev / h5i

Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.

β˜… 797 Rust today
gethopp / hopp

The best OSS remote pair programming app.

β˜… 710 Rust 3d ago
ovh / shai

shai is a coding agent, your pair programming buddy that lives in the terminal. Written in rust with love <3

β˜… 628 Rust 11d ago
calyxir / calyx

Intermediate Language (IL) for Hardware Accelerator Generators

β˜… 615 Rust 7d ago
xrelkd / clipcat

A clipboard manager written in Rust Programming Language.

β˜… 609 Rust 1d ago
osrg / rustybgp

BGP implemented in the Rust Programming Language

β˜… 606 Rust 1d ago
starkware-libs / cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

β˜… 587 Rust 20d ago
paradigmxyz / solar

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

β˜… 572 Rust today

Load more β†’