Data interchange with algebraic data types.
Compile-time dimensional analysis for various unit systems using Rust's type system.
A Rust library for strongly-typed string keys for configuration.
Protobufs for functional programming
Typed zero-cost dimensional analysis
Introspect configuration files and output typescript type declarations.
The Acton Reactive Application Framework provides an efficient way to build fast, reactive Rust applications. Designed around an actor-based model, it simplifies concurrency and allows developers to focus on writing scalable, maintainable code. Acton gets its name from the fact that it "acts on" messages you define.
🔐 Dive into Rust's security features with example codes from a university presentation at Technische Hochschule Georg Simon Ohm, covering topics like safe concurrency, error handling, and zero-cost abstractions.
Type-safe Spotify authentication
This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values like user input.
Add a description, image, and links to the type-safety topic page so that developers can more easily learn about it.
To associate your repository with the type-safety topic, visit your repo's landing page and select "manage topics."