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

Safe Rust wrapper around the WebGL API

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

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

A library and set of command-line tools for working with ConSert models.

Safe Script - A cure for the web

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

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.

Streamlined definition and usage of branded types in Rust.

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

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

🍖 Session types for asynchronous communication between multiple parties.

Rust work of various kinds

🚀Glint - Flexible, fast and lightning fast programming language

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

Clear all logs from your windows

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

Fast and safe image scaling in Rust

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