This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values like user input.
This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values like user input.
This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values like user input.
Untrustended - Untrusted Extended. A compilation of primitives for parsing values from untrusted input.
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Official Rust client for RedDB — embedded engine, gRPC, HTTP, and RedWire transports behind one connection-string API. Also hosts the workspace-internal connector + REPL used by the `red` and `red_client` binaries.
Flexible, Fast & Compact Serialization with RPC
An MCP server for storing and manipulating structured data using SQLite
Production-grade parser for HQL (Hive Query Language)
Permission policies, audit logging, and trust profiles for the Brainwires Agent Framework
Internal crate used by s2n-quic
JSON serialization/deserialization (full-featured, modern, optimal, streaming, direct into struct, binary-ready)