Autorun, for the next generation

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

The missing safety net for your coins

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

Fast and safe image scaling in Rust

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

Clear all logs from your windows

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

🚀Glint - Flexible, fast and lightning fast programming language

Rust work of various kinds

🍖 Session types for asynchronous communication between multiple parties.

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

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

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.

Uniqueness of types via invariant lifetimes.

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

Safe Script - A cure for the web

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

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