Empowering everyone to build reliable and efficient software.

A modern runtime for JavaScript and TypeScript.

Fullstack app framework for web, desktop, and mobile.

Rust / Wasm framework for creating reliable and efficient web applications

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

A cross-platform GUI library for Rust, inspired by Elm

🚀 Fast, secure, lightweight containers based on WebAssembly

Build fast web applications with Rust.

Actor framework for Rust.

The Rust Implementation of the libp2p networking stack.

An experimental Rust native UI framework

A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

Rust bindings for Godot 4

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

Rust version of THU uCore OS. Linux compatible.

AWS SDK for the Rust Programming Language

Kani Rust Verifier

A static verifier for Rust, based on the Viper verification infrastructure.

Creusot helps you prove your code is correct in an automated fashion.

Refinement Types for Rust

A collection of lower-level libraries for composable network services.

Software transactional memory

node.js compile-time SQL validations & type generations

High-level async Cassandra client written in 100% Rust.

Examples and use cases for building LLM-Powered apps with Rig

Example project for K210 SoC to show usage of k210-hal project

RISC-V platform-level interrupt controller (PLIC) register definitions and basic operations.