The missing safety net for your coins

🍖 Session types for asynchronous communication between multiple parties.

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

Streamlined definition and usage of branded types in Rust.

Autorun, for the next generation

Fast and safe image scaling in Rust

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

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

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

🚀Glint - Flexible, fast and lightning fast programming language

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

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

Safe Script - A cure for the web

Safe Rust wrapper around the WebGL API

Uniqueness of types via invariant lifetimes.

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.

Clear all logs from your windows

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

An AI-native programming language for building safe, observable, and cost-aware autonomous systems.

Rust work of various kinds