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 next-generation sandboxed GMod lua execution environment allowing undetected* introspection and modification of the game. (* see milestone #3)

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

Fast and safe image scaling in Rust

🚀Glint - Flexible, fast and lightning fast programming language

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

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

Streamlined definition and usage of branded types 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.

Safe Rust wrapper around the WebGL API

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

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

Uniqueness of types via invariant lifetimes.

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

Modern chat system in Rust with complete end-to-end encryption, asynchronous client-server architecture, and intuitive terminal user interface (TUI).

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

Safe Script - A cure for the web