Docs.rs

Fastest async PostgreSQL driver - AST to wire protocol, optional io_uring on Linux

AST-native query builder - type-safe expressions, zero SQL strings

Language Server Protocol implementation for LogicAffeine

CLI tool for logicaffeine (largo)

LOGOS compilation pipeline - codegen and interpreter

Library for parsing and communicating over Network Time Protocol.

Natural language to first-order logic pipeline

Backward-chaining proof engine with Socratic hints

Decapod is a Rust-built governance runtime for AI agents: repo-native state, enforced workflow, proof gates, safe coordination.

Platform IO and system services for LOGOS

English vocabulary types and compile-time lexicon lookup for logicaffeine

WASM-safe data structures and CRDTs - NO IO

Pure Calculus of Constructions type theory - NO LEXICON

TBD

Pure structural atoms for logicaffeine - arena, tokens, spans