Docs.rs

Source-neutral symbolic frontend core for Celox

A mutex for sharing data with interrupt handlers.

Celox WebAssembly code-generation backend

A library for creating networks/graphs and calculating graph metrics such as shortest paths, spanning trees, maximum flow, etc.

Source-independent symbolic logic tree core for Celox

Physical simulation-state layout contracts for Celox

Backend-independent Simulator IR for Celox

Source-independent testbench bytecode contracts for Celox

SystemVerilog analyzer frontend for Celox

TypeScript definition generator used by Celox bindings

remotefs SSH client library

Operator CLI for Canic fleet setup, builds, evidence, catalog, backup, and restore workflows

This crate implements the quote verification logic for DCAP (Data Center Attestation Primitives) in pure Rust.

Celox HDL Simulator

Canonical Canic wasm_store canister crate