The missing safety net for your coins

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.

🍖 Session types for asynchronous communication between multiple parties.

A simple 🎯, safe 🔒, and powerful 💪 programming language

an audit tool to scan your crate or workspace searching for potential panic points in your codebase

Fast and safe image scaling in Rust

An experimental Compiler framework/backend with a focus on safety and reliability

Streamlined definition and usage of branded types in Rust.

A blazingly fast 🚀 low overhead ⬇️ in-memory store 🛢️ built in Rust 🦀

An implementation of a half-edge data structure (DCEL) in purely safe Rust, using ghost-cell and typed arena allocation to deal with the cyclic nature of the data structure. The goal is to provide a safe (primary priority) and performant (secondary priority) library for mesh processing in Rust.

🚀Glint - Flexible, fast and lightning fast programming language

Safe Rust wrapper around the WebGL API

Blazingly fast ⚡ back-end to learn quickly and remember for long-term

Uniqueness of types via invariant lifetimes.

Blockchain architecture with a strong focus on scalability, privacy and safety

Safe Script - A cure for the web

Clear all logs from your windows

Rust work of various kinds

An opinionated 2D game engine for Rust focused on simplicity, explicitness, and type-safety.