Docs.rs

NAIF/SPICE-aligned astronomical time scales in Rust: UTC, TAI, TT, TDB/ET, GPS, UT1 and SCLK, with LSK/SCLK/EOP kernels, no_std support, WebGeocalc parity and an MCP server.

Governed stable allocation and collections for Internet Computer applications

Typed data models for the A2UI protocol (v0.9, v0.9.1, and v1.0)

Pre-phase problem analysis, taxonomy and plan synthesis for mrs

Safe, MRS-specific CaDiCaL 3.0.1 interface

Proof objects and TSTP output for automated theorem proving

Tokio-native WebSocket client for Rust. High-throughput, low-latency, callback-driven, proxy-ready.

Inference calculi for automated theorem proving

Clausification and preprocessing for first-order logic formulas

Build, validate, and package SJML Rust guest projects

Rust guest SDK for the Somuch Java Mod Loader ABI

Term indexing structures for efficient retrieval

First-order unification and matching algorithms

Contains shared models, traits and helpers used within the Tycho system

Procedural macros for the Somuch Java Mod Loader Rust SDK