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.

Type-safe REST-focused HTTP client for Rust - via the OpenAPI Specification

Protobufs for functional programming

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.

Typed zero-cost dimensional analysis

Prevent directory traversal with type-safe virtual path jails and safe symlinks

Type-safe async MQTT client with automatic topic routing

A type-safe HTTP client for Rust

Introspect configuration files and output typescript type declarations.

Type-safe Spotify authentication

This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values like user input.

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