Blazingly fast ⚡ back-end to learn quickly and remember for long-term
-
Updated
Jun 16, 2024 - Rust
Blazingly fast ⚡ back-end to learn quickly and remember for long-term
🚀Glint - Flexible, fast and lightning fast programming language
Safe Script - A cure for the web
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.
A simple 🎯, safe 🔒, and powerful 💪 programming language
An AI-native programming language for building safe, observable, and cost-aware autonomous systems.
Uniqueness of types via invariant lifetimes.
Rust work of various kinds
An experimental Compiler framework/backend with a focus on safety and reliability
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.
Streamlined definition and usage of branded types in Rust.
Autorun, for the next generation
Add a description, image, and links to the safety topic page so that developers can more easily learn about it.
To associate your repository with the safety topic, visit your repo's landing page and select "manage topics."