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

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.

Typed zero-cost dimensional analysis

Protobufs for functional programming

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

A Rust library for strongly-typed string keys for configuration.

Compile-time dimensional analysis for various unit systems using Rust's type system.

Data interchange with algebraic data types.