Pragmatic effect composition and validation for Rust - pure core, imperative shell
Core components for Reinhardt framework
Code Mode validation and execution framework for MCP servers
Derive interactive surveys for Rust types. Backend-agnostic. Backends are provided in elicitor-wizard-requestty, elicitor-wizard-ratatui, elicitor-form-egui, and many others.
A library for data validation with derive macro
Derive macro for not-so-fast validation library
OSMP — Octid Semantic Mesh Protocol. Bandwidth-agnostic semantic instruction encoding.
A secure, high-performance messaging protocol library
Gluing 108 mathematical islands into a continent — type bridges, theorem bridges, and the topos structure the mathematics wants to be
Verus formal verification proofs for elicitation contract types
Derive macro for Code Mode validation and execution in MCP servers
Rich, layered configuration for Rust CLI apps
No description provided.
No description provided.