Releases

Recently uploaded crates

celox-backend-x86-0.4.1
Celox x86-64 machine-code backend
43 minutes ago
celox-backend-arm64-0.4.1
Celox AArch64 machine-code backend
43 minutes ago
celox-sir-opt-0.4.1
Backend-independent SIR optimization policy and passes for Celox
44 minutes ago
dig-store-0.8.0
The DIG Network DataLayer store manager: composes the on-chain CHIP-0035 DataLayer anchor (dig-merkle) with the off-chain .dig capsule format into one store abstraction — create/modify/melt a store coin (unsigned SpendBundles), a comprehensive on-chain getter surface, and the size proof that gates downloads on the on-chain-anchored size.
44 minutes ago
celox-runtime-0.4.1
Backend-independent Celox simulation runtime contracts
44 minutes ago
celox-backend-cranelift-0.4.1
Celox Cranelift code-generation backend
44 minutes ago
ox_content_profiler-3.0.0-alpha.1
Profiling primitives for Ox Content: counting global allocator, hierarchical timing spans, and report formatting
44 minutes ago
celox-frontend-core-0.4.1
Source-neutral symbolic frontend core for Celox
44 minutes ago
celox-backend-wasm-0.4.1
Celox WebAssembly code-generation backend
44 minutes ago
celox-slt-0.4.1
Source-independent symbolic logic tree core for Celox
44 minutes ago
celox-state-layout-0.4.1
Physical simulation-state layout contracts for Celox
44 minutes ago
trust-tasks-rs-0.11.9
Reference Rust library for the Trust Tasks framework — transport-agnostic, JSON-based descriptions of verifiable work between parties.
44 minutes ago
celox-sir-0.4.1
Backend-independent Simulator IR for Celox
44 minutes ago
celox-testbench-0.4.1
Source-independent testbench bytecode contracts for Celox
44 minutes ago
celox-ts-gen-0.4.1
TypeScript definition generator used by Celox bindings
44 minutes ago
celox-sv-analyzer-0.4.1
SystemVerilog analyzer frontend for Celox
44 minutes ago
ox_content_ast-3.0.0-alpha.1
AST definitions for Ox Content Markdown parser
44 minutes ago
celox-macros-0.4.1
Celox HDL Simulator
44 minutes ago
ox_content_allocator-3.0.0-alpha.1
Arena allocator for Ox Content based on bumpalo
45 minutes ago
greentic-mcp-dev-1.2.32688113558
MCP ToolMap + WASIX/WASI executor bridge
45 minutes ago
celox-frontend-sdk-0.4.1
Stable authoring SDK for external Celox netlist frontends
46 minutes ago
greentic-mcp-exec-dev-1.2.32688113558
Greentic executor for running wasix:mcp-compatible WebAssembly components with policy-driven verification and sandboxing.
46 minutes ago
greentic-mcp-1.2.0-dev.32688113558
MCP ToolMap + WASIX/WASI executor bridge
46 minutes ago
celox-design-0.4.1
Source-independent elaborated design model for Celox
46 minutes ago
celox-backend-common-0.4.1
Target-independent machine-code backend primitives for Celox
47 minutes ago
celox-analysis-0.4.1
IR-independent compiler analyses used by Celox
47 minutes ago
kanidm-hsm-crypto-0.4.0
A library for easily interacting with a HSM or TPM
47 minutes ago
greentic-mcp-exec-1.2.0-dev.32688113558
Greentic executor for running wasix:mcp-compatible WebAssembly components with policy-driven verification and sandboxing.
47 minutes ago
greentic-deployer-dev-1.2.32686169330
Greentic deployer runtime for plan construction and deployment-pack dispatch
47 minutes ago
greentic-runner-dev-1.2.32686079310
Greentic runner binaries and re-exported host/new-runner APIs
48 minutes ago

Previous Page Next Page