Docs.rs

Typedown LSP and RPC server

Provides tools for interacting with protocol states, calculating spot prices, and quoting token swaps.

Formal symbolic AI implementation with OpenAI-compatible APIs

Typedown language: Parser, typechecker, and evaluation engine

Unified Rust client for Polymarket APIs (CLOB, Gamma and Data)

Rust client library for Polymarket CLOB (order book) API

FFI bindings for libclepsydre-eds

Manage calendars and events

Peer-to-peer replication for yaiba over iroh QUIC — no server in the middle

Incremental computation engine for Typedown

Rust client library for Polymarket Data API

Rust client library for Polymarket Relayer API

Rift core engine: imposter lifecycle, matching, behaviors, scripting and flow-state — usable in-process without the CLI or admin server.

Rust client library for Polymarket Gamma (market data) API