Docs.rs

Derive macros for HTTP errors

A high-performance 128-bit RISC-V virtual machine implemented in Rust, featuring custom instruction set extensions and advanced memory management.

Language Server Protocol implementation for LogicAffeine

CLI tool for generating TypeScript SDKs from HyperStack stream specifications

Native GUI renderer driven by a wire protocol over stdin/stdout

Core library and extension SDK for the toddy native GUI renderer

Resolve Matrix servers

LOGOS compilation pipeline - codegen and interpreter

Natural language to first-order logic pipeline

WebSocket server and projection handlers for HyperStack streaming pipelines

Chain-aware RPC CLI — auto ABI encode/decode, 2600+ chains, Etherscan V2, batch Multicall3, and more

Platform IO and system services for LOGOS

Backward-chaining proof engine with Socratic hints

Agent Access SDK. High-level clients for the Access Protocol.

Rust bindings for spike