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

Safe Script - A cure for the web

Clear all logs from your windows

Rust work of various kinds

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

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).

Safe Rust wrapper around the WebGL API

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.

🚀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

Fast and safe image scaling in Rust

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

Autorun, for the next generation

🍖 Session types for asynchronous communication between multiple parties.