A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM
- webassembly
- wasm
- rust
- web
Repository Index
80,339 visible repositories in the index
121–144 of 216 · Most stars
Build truly native applications with ease!
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
- decentralized
- mixnet
- rust
- rust-lang
✨ Agentic chat experience in your terminal. Build applications using natural language.
Creusot helps you prove your Rust code is correct.
- rust-lang
- verification
- proof
- formal-verification
Create self-contained single binary applications
🚦 Microservices Status Page. Monitors a distributed infrastructure and sends alerts (Slack, SMS, etc.).
- microservices
- infrastructure
- monitor
- slack
SeekStorm: vector & lexical search - in-process library & multi-tenancy server, in Rust.
- enterprise-search
- full-text-search
- search
- search-engine
NIx Language server, an incremental analysis assistant for writing in Nix.
A rusty dynamically typed scripting language
- dyon
- scripting-language
- dynamic
Magical Rust patterns laid out and simplified
- blog
- rust
Tactical 2D shooter in fishy pixels style. Made with Rust-lang 🦀 and Bevy 🪶
- game
- modding
- multiplayer
- pixel-art
Stylish graphical console greeter for greetd, built with Ratatui
Communication infrastructure for the AI era — one binary, one broker, one storage layer, any protocol
- amqp
- kafka
- message
- message-queue
🐇 Fuzzing Rust code with American Fuzzy Lop
- rust
- fuzz-testing
- afl
- fuzzing
A static verifier for Rust, based on the Viper verification infrastructure.
- rust
- verification
- viper
- formal-verification
Automatically tracks which apps you used, which websites you visited, and how much time you spent in each app throughout the day.
- ai
- daily-report
- privacy
- productivity
Internet Computer blockchain source: the client/replica software run by nodes
A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
Use your Android phone as a microphone for your PC
- android-application
- microphone
- audio-streaming
- tcp-socket
boxxy puts bad Linux applications in a box with only their files.
- help-wanted
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic and scalable private network experiments using your laptop, desktop, or server running Linux.
- emulation
- simulation
- networking
- experimentation
Structured, contextual, extensible, composable logging for Rust
- rust
- logging
- logging-library
- structured-logging
Lightweight Telegram RSS notification bot. 用于消息通知的轻量级 Telegram RSS 机器人