Docs.rs

Formally verified P-256 implementation

The `ridl` command-line toolchain: check, build, fmt, lock, diff, lsp, and mcp, over the shared compiler crates.

Reusable UI component library for the euv framework, providing buttons, cards, modals, inputs, and more.

The RIDL MCP server: a thin consumer of the shared compiler crates, exposing the compiler's single-file check as an MCP tool.

Provider-free open-format chat scheduling state

Libcrux-IoT SHA-3 implementation

Libcrux-IoT AES-based AEAD implementations

The RIDL language server: a synchronous lsp-server loop over the same salsa database ridlc compiles with.

The `ridlc` compile pipeline as a library: source to IR to generated code.

Append-only open-format ChatBox state transitions for K1 chat

Compiles a RIDL IR package to Rust source, plus the generated interaction face.

Compiles a RIDL IR package to TypeScript source.

A fast, fastfetch-style system information tool written entirely in Rust with zero dependencies

Rust logging client for Bugfixes with optional remote reporting

The basis CLI, over the basis SDK and basis-acp: headless runs, an ACP server, and a websocket bridge. Installs as `basis`.