Docs.rs

aide (schemars) integration for the vld validation library — auto-generate OpenAPI schemas for aide from vld definitions

Complete Stratum V2 application development kit - all utilities in one crate

Type-safe runtime validation library for Rust, inspired by Zod

Shared configuration loading for the lex toolchain

Generate TypeScript Zod schemas from vld JSON Schemas

Chapter 1 extended: A minimal kernel crate with clock interrupt support for learning RISC-V interrupt mechanism.

Derive macro for the vld validation library

Chapter 1 Multicore Extension: RISC-V multi-core startup demonstration with HART identification and WFI parking mechanism

Format conversion library for the lex format

Rust support for reading and writing the LCM data format

Parser library for the lex format

Rust NATS communication platform for multi-agent AI systems

The Formally Verified Cryptography Library

Libcrux Pre-Shared post-Quantum key establishement protocol

Libcrux KEM implementation