Recent Rust crates urn:docs-rs:0.0.0 (345207b5bd3e08551abe806ac963257c692997f6 2026-10-08 ) 2026-10-09T18:49:32.871704+00:00 urn:docs-rs:willbooster-tree-sitter-rust:2.0.3 2026-10-09T18:49:32.871704+00:00

Rust grammar for tree-sitter

docs.rs urn:docs-rs:zshrs:0.13.19 2026-10-09T18:49:27.055741+00:00

The first JIT-compiled Unix shell — bytecode VM, Cranelift JIT, worker pool, AOP intercept, Rkyv caching

docs.rs urn:docs-rs:spikard-ffi:0.17.2 2026-10-09T18:49:21.245911+00:00

Codegen-first polyglot web toolkit with a Rust core and bindings for 14 languages

docs.rs urn:docs-rs:ruda-tensor-device:0.21.52 2026-10-09T18:49:09.647079+00:00

Ruda device tensor backend and domain-library dispatch.

docs.rs urn:docs-rs:ruda-tensor-tch:0.21.65 2026-10-09T18:49:05.548341+00:00

Ruda LibTorch tensor backend using the tch bindings.

docs.rs urn:docs-rs:spikard-cli:0.17.2 2026-10-09T18:48:58.877784+00:00

Command-line interface for building and validating Spikard applications

docs.rs urn:docs-rs:bevy_egui:0.43.0 2026-10-09T18:48:51.943594+00:00

A plugin for Egui integration into Bevy

docs.rs urn:docs-rs:zshrs-daemon:0.13.19 2026-10-09T18:48:01.547324+00:00

Singleton daemon for zshrs — owns fsnotify, rkyv shard images, catalog/history SQLite, IPC, pub/sub, and cross-shell coordination

docs.rs urn:docs-rs:runique:3.0.2 2026-10-09T18:47:45.580447+00:00

A Django-inspired web framework for Rust with ORM, templates, and comprehensive security middleware

docs.rs urn:docs-rs:tradefloor:0.10.2 2026-10-09T18:47:19.227469+00:00

A reproducible evaluation environment for financial AI agents.

docs.rs urn:docs-rs:spikard-codegen:0.17.2 2026-10-09T18:47:15.851023+00:00

Code generation utilities for Spikard

docs.rs urn:docs-rs:znative:0.13.19 2026-10-09T18:47:15.812203+00:00

Stable C-ABI SDK for writing native (Rust) zshrs plugins loaded at runtime via `zmodload -R`

docs.rs urn:docs-rs:containerization-framework:0.5.0 2026-10-09T18:47:13.786059+00:00

Rust bindings for Apple's Containerization framework: Linux containers in lightweight VMs, in-process and without a daemon.

docs.rs urn:docs-rs:zisk-precomp-blake3:1.3.2-alpha 2026-10-09T18:47:08.921687+00:00

Blake3 precompile for the ZisK zkVM

docs.rs urn:docs-rs:zisk-precomp-blake2:1.3.2-alpha 2026-10-09T18:47:07.066482+00:00

Blake2b and Blake2s precompiles for the ZisK zkVM

docs.rs urn:docs-rs:ruda-tensor-host:0.21.49 2026-10-09T18:46:58.880961+00:00

Ruda host tensor backend and domain-library dispatch.

docs.rs urn:docs-rs:fitsio-pure:0.21.5 2026-10-09T18:46:35.713791+00:00

Pure Rust FITS file reader and writer

docs.rs urn:docs-rs:spikard:0.17.2 2026-10-09T18:46:31.793013+00:00

High-performance HTTP framework built on Axum and Tower-HTTP with type-safe routing, validation, WebSocket/SSE support, and lifecycle hooks

docs.rs urn:docs-rs:ruda-fusion:0.21.51 2026-10-09T18:46:15.088559+00:00

Tensor operation fusion planning, registration and execution for Ruda.

docs.rs urn:docs-rs:spikard-graphql:0.17.2 2026-10-09T18:45:54.615970+00:00

GraphQL support for Spikard with async-graphql integration

docs.rs urn:docs-rs:trojan-rs:0.17.0 2026-10-09T18:45:52.861362+00:00

A Rust implementation of the Trojan protocol (re-exports trojan crate)

docs.rs urn:docs-rs:ruDNN:0.1.77 2026-10-09T18:45:19.395052+00:00

Neural network operators for Ruda.

docs.rs urn:docs-rs:rublas:0.1.77 2026-10-09T18:45:15.307124+00:00

Linear algebra and matrix multiplication for Ruda.

docs.rs urn:docs-rs:yaspar-ir:2.7.7 2026-10-09T18:45:10.160759+00:00

This crate provides a few representations of SMT scripts and other functionalities.

docs.rs urn:docs-rs:spikard-http:0.17.2 2026-10-09T18:45:07.337211+00:00

High-performance HTTP server for Spikard with tower-http middleware stack

docs.rs urn:docs-rs:ruda-communication:0.21.49 2026-10-09T18:44:48.955401+00:00

Ruda communication protocols, WebSocket transport and tensor data service.

docs.rs urn:docs-rs:ruda-fft:0.1.77 2026-10-09T18:44:47.246759+00:00

Fast Fourier transforms for Ruda.

docs.rs urn:docs-rs:brepkit-wasm:4.1.47 2026-10-09T18:44:46.337371+00:00

WebAssembly bindings for brepkit — browser-native B-Rep solid modeling

docs.rs urn:docs-rs:zisk-precomp-big-int:1.3.2-alpha 2026-10-09T18:44:43.168688+00:00

Big-integer arithmetic precompile for the ZisK zkVM

docs.rs urn:docs-rs:ziskemu:1.3.2-alpha 2026-10-09T18:44:40.971256+00:00

RISC-V emulator that executes ZisK program ROMs and generates execution traces

docs.rs urn:docs-rs:ruda-tensor:0.21.52 2026-10-09T18:44:40.317080+00:00

Ruda tensor operations, backend contracts, and framework-facing primitives.

docs.rs urn:docs-rs:trojan-agent:0.17.0 2026-10-09T18:44:30.994369+00:00

Panel agent for trojan-rs — connects to management panel, receives config, boots services

docs.rs urn:docs-rs:mosaica-bench:0.0.0 2026-10-09T18:44:27.006583+00:00

Reserved for Mosaica. The first release is on its way.

docs.rs urn:docs-rs:trojan:0.17.0 2026-10-09T18:44:25.310963+00:00

A Rust implementation of the Trojan protocol

docs.rs urn:docs-rs:openvino-genai:0.11.1 2026-10-09T18:44:24.927454+00:00

High-level bindings for OpenVINO GenAI.

docs.rs urn:docs-rs:openvino-genai-sys:0.11.1 2026-10-09T18:44:23.963836+00:00

Low-level bindings for OpenVINO GenAI (use the `openvino-genai` crate for easier-to-use bindings).

docs.rs urn:docs-rs:mif-rh-mcp:0.11.0 2026-10-09T18:44:19.577416+00:00

MCP server for the mif-rh research-harness ontology engine

docs.rs urn:docs-rs:mif-rh-cli:0.11.0 2026-10-09T18:44:17.600165+00:00

Command-line interface for the mif-rh research-harness ontology engine

docs.rs urn:docs-rs:spikard-core:0.17.2 2026-10-09T18:44:15.707987+00:00

Shared transport-agnostic primitives for Spikard runtimes

docs.rs urn:docs-rs:openvino:0.11.1 2026-10-09T18:44:12.443585+00:00

High-level bindings for OpenVINO.

docs.rs urn:docs-rs:ruPRIM:0.1.77 2026-10-09T18:44:05.129197+00:00

Parallel primitives, reductions, scans, and indexing for Ruda.

docs.rs urn:docs-rs:mif-rh:0.11.0 2026-10-09T18:44:04.408082+00:00

Compiled ontology resolution/review engine for research-harness-template corpora

docs.rs urn:docs-rs:mif-ontology:0.11.0 2026-10-09T18:43:38.981276+00:00

Ontology resolution for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:mif-mcp:0.11.0 2026-10-09T18:43:36.751812+00:00

MCP server for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:mif-cli:0.11.0 2026-10-09T18:43:34.934398+00:00

Command-line interface for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:mif-frontmatter:0.11.0 2026-10-09T18:43:34.123556+00:00

Markdown frontmatter <-> JSON-LD lossless round-trip for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:openvino-sys:0.11.1 2026-10-09T18:43:32.828970+00:00

Low-level bindings for OpenVINO (use the `openvino` crate for easier-to-use bindings).

docs.rs urn:docs-rs:zisk-precomp-arith-eq:1.3.2-alpha 2026-10-09T18:43:32.629991+00:00

Arithmetic-equality precompile for the ZisK zkVM

docs.rs urn:docs-rs:ruda-test-runtime:0.1.77 2026-10-09T18:43:30.374280+00:00

Kernel test utilities for Ruda.

docs.rs urn:docs-rs:queueflow-sdk:0.2.0 2026-10-09T18:43:27.422147+00:00

REST API for QueueFlow, a PostgreSQL-native distributed job queue and workflow engine.

docs.rs urn:docs-rs:brepkit-render:4.1.47 2026-10-09T18:43:27.359828+00:00

Offscreen GPU renderer for brepkit B-Rep solids

docs.rs urn:docs-rs:mif-embed:0.11.0 2026-10-09T18:43:25.109832+00:00

Local sentence-embedding inference for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:ruda:0.1.29 2026-10-09T18:43:16.759654+00:00

Ruda GPU kernel API and portable runtime with CUDA, HIP and WGPU backends.

docs.rs urn:docs-rs:mif-store:0.11.0 2026-10-09T18:43:07.760011+00:00

SQLite vector store for document embeddings in the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:openvino-finder:0.11.1 2026-10-09T18:43:02.344435+00:00

A helper crate for finding OpenVINO installations on a system.

docs.rs urn:docs-rs:mif-schema:0.11.0 2026-10-09T18:43:00.291872+00:00

JSON Schema validation for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:trojan-relay:0.17.0 2026-10-09T18:42:59.881451+00:00

Relay chain and entry node for trojan-rs multi-hop tunneling

docs.rs urn:docs-rs:zisk-precomp-common:1.3.2-alpha 2026-10-09T18:42:56.517342+00:00

Common utilities and helpers for ZisK precompiles

docs.rs urn:docs-rs:mif-problem:0.11.0 2026-10-09T18:42:50.895451+00:00

RFC 9457 Problem Details envelopes for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:trojan-dash:0.17.0 2026-10-09T18:42:46.113370+00:00

Dashboard service for trojan-rs — user management, node tokens, traffic accounting, subscriptions

docs.rs urn:docs-rs:mif-core:0.11.0 2026-10-09T18:42:44.616715+00:00

Shared foundational types for the MIF (Modeled Information Format) ecosystem

docs.rs urn:docs-rs:trojan-transport:0.17.0 2026-10-09T18:42:38.510042+00:00

Pluggable transport abstraction for trojan-rs (TLS, plain TCP, WebSocket)

docs.rs urn:docs-rs:trojan-lb:0.17.0 2026-10-09T18:42:27.254490+00:00

Generic load balancer for trojan-rs (round-robin, IP hash, least connections, failover)

docs.rs urn:docs-rs:ruSPARSE:0.1.77 2026-10-09T18:42:25.760217+00:00

Ruda's sparse-computing library, reusing shared tensors, runtimes, and device backends.

docs.rs urn:docs-rs:trojan-protocol:0.17.0 2026-10-09T18:42:22.712586+00:00

WebSocket protocol types shared between trojan-agent and trojan-panel

docs.rs urn:docs-rs:business_chrono:0.2.1 2026-10-09T18:42:19.822883+00:00

Business-day and holiday calculations for different countries

docs.rs urn:docs-rs:monothink:0.5.2 2026-10-09T18:42:19.459239+00:00

A totally non-agentic coding assistant

docs.rs urn:docs-rs:trojan-server:0.17.0 2026-10-09T18:42:16.048874+00:00

High-performance Trojan protocol server

docs.rs urn:docs-rs:trekr:0.9.0 2026-10-09T18:42:15.882220+00:00

Ruby code intelligence: position→meaning, definition→references.

docs.rs urn:docs-rs:trojan-cert:0.17.0 2026-10-09T18:42:10.981947+00:00

Certificate generation utilities for trojan-rs

docs.rs urn:docs-rs:brepkit-io:4.1.47 2026-10-09T18:42:10.364338+00:00

Multi-format B-Rep data exchange for brepkit (STEP, IGES, STL, 3MF, OBJ, PLY, glTF)

docs.rs urn:docs-rs:ruda-test-utils:0.1.77 2026-10-09T18:41:59.128501+00:00

Kernel test utilities for Ruda.

docs.rs urn:docs-rs:ailake-cli:0.1.18 2026-10-09T18:41:57.670397+00:00

AI-Lake Format — administrative CLI (create, insert, search, compact, info)

docs.rs urn:docs-rs:trojan-client:0.17.0 2026-10-09T18:41:53.616354+00:00

Trojan protocol client with SOCKS5 proxy

docs.rs urn:docs-rs:brepkit-operations:4.1.47 2026-10-09T18:41:52.881611+00:00

CAD modeling operations (booleans, fillets, extrusions) for brepkit

docs.rs urn:docs-rs:trojan-metrics:0.17.0 2026-10-09T18:41:36.019389+00:00

Prometheus metrics for trojan-rs

docs.rs urn:docs-rs:trojan-config:0.17.0 2026-10-09T18:41:34.743999+00:00

Configuration loading and validation for trojan-rs

docs.rs urn:docs-rs:trojan-dns:0.17.0 2026-10-09T18:41:23.458622+00:00

Async DNS resolver for trojan-rs with caching and DoH/DoT support

docs.rs urn:docs-rs:brepkit-offset:4.1.47 2026-10-09T18:41:21.647204+00:00

Solid offset engine for brepkit

docs.rs urn:docs-rs:brepkit-sketch:4.1.47 2026-10-09T18:41:18.508771+00:00

2D parametric constraint solver (GCS) for brepkit sketch mode

docs.rs urn:docs-rs:ruTENSOR:0.1.77 2026-10-09T18:41:16.828729+00:00

Ruda tensor contractions, reductions, permutations and elementwise operations

docs.rs urn:docs-rs:brepkit-heal:4.1.47 2026-10-09T18:41:15.903331+00:00

Shape healing (analysis, fixing, upgrading) for brepkit B-Rep models

docs.rs urn:docs-rs:brepkit-blend:4.1.47 2026-10-09T18:41:12.699112+00:00

Walking-based fillet and chamfer engine for brepkit

docs.rs urn:docs-rs:ailake-jni:0.1.18 2026-10-09T18:41:11.550545+00:00

C-ABI cdylib for AI-Lake — Spark, Trino, and Flink connectors via JNA

docs.rs urn:docs-rs:brepkit-algo:4.1.47 2026-10-09T18:41:10.170011+00:00

GFA boolean algorithm engine for brepkit

docs.rs urn:docs-rs:zisk-asm-runner:1.3.2-alpha 2026-10-09T18:41:04.717502+00:00

Runtime for managing the ZisK assembly emulator process and its shared-memory I/O

docs.rs urn:docs-rs:trojan-ddns:0.17.0 2026-10-09T18:41:02.394767+00:00

Dynamic DNS update service for trojan-rs

docs.rs urn:docs-rs:brepkit-check:4.1.47 2026-10-09T18:40:55.774718+00:00

Topology algorithms: classification, validation, properties, distance

docs.rs urn:docs-rs:brepkit-topology:4.1.47 2026-10-09T18:40:55.699853+00:00

B-Rep topological data structures for brepkit

docs.rs urn:docs-rs:retiretui_tui:0.4.1 2026-10-09T18:40:53.220471+00:00

The RetireTui planner's interface: a plurimus app over a projected retirement plan, for the terminal or the browser.

docs.rs urn:docs-rs:brepkit-geometry:4.1.47 2026-10-09T18:40:49.607745+00:00

Geometry algorithms: sampling, extrema, conversion

docs.rs urn:docs-rs:brepkit-math:4.1.47 2026-10-09T18:40:48.750708+00:00

Vector math, transforms, NURBS, and geometric predicates for brepkit

docs.rs urn:docs-rs:ruda-driver-wgpu:0.1.77 2026-10-09T18:40:48.542380+00:00

WGPU driver backend for Ruda

docs.rs urn:docs-rs:megaspace-pipeliner:0.3.0 2026-10-09T18:40:43.548124+00:00

Static site generator pipeline with markdown, post feeds, RSS, and link checking

docs.rs urn:docs-rs:trojan-analytics:0.17.0 2026-10-09T18:40:40.600158+00:00

Analytics module for trojan-rs with ClickHouse support

docs.rs urn:docs-rs:retiretui_mcp:0.4.1 2026-10-09T18:40:26.059922+00:00

RetireTui's Model Context Protocol server: plan files served to AI agents over stdio. Internal; no stable API.

docs.rs urn:docs-rs:zisk-sm-arith:1.3.2-alpha 2026-10-09T18:40:22.452424+00:00

Arithmetic state machine for the ZisK zkVM

docs.rs urn:docs-rs:ruda-kernel:0.1.28 2026-10-09T18:40:19.073067+00:00

Ruda Rust kernel DSL and device tensor operations.

docs.rs urn:docs-rs:retiretui:0.4.1 2026-10-09T18:40:15.944707+00:00

Retirement planning application for the terminal.

docs.rs urn:docs-rs:retiretui_cli:0.4.1 2026-10-09T18:40:11.157949+00:00

RetireTui's command line: plans validated, projected, compared, searched and run through markets. Internal; no stable API.

docs.rs urn:docs-rs:trojan-rules:0.17.0 2026-10-09T18:40:10.336590+00:00

Rule-based routing engine for trojan-rs (Surge/Clash compatible)

docs.rs urn:docs-rs:retiretui_client:0.4.1 2026-10-09T18:40:09.566830+00:00

What every RetireTui interface shares over the engine: its words, forms, documents and store. Internal; no stable API.

docs.rs urn:docs-rs:trojan-auth:0.17.0 2026-10-09T18:40:01.056392+00:00

Authentication backends for trojan-rs

docs.rs urn:docs-rs:trojan-core:0.17.0 2026-10-09T18:39:57.621232+00:00

Core types and constants for trojan-rs

docs.rs urn:docs-rs:zisk-frops-analyzer:1.3.2-alpha 2026-10-09T18:39:56.765697+00:00

FROPS analyzer for ZisK state machines

docs.rs urn:docs-rs:trojan-proto:0.17.0 2026-10-09T18:39:55.426522+00:00

Trojan protocol parsing and serialization

docs.rs urn:docs-rs:ruda-driver-cann:0.1.77 2026-10-09T18:39:54.483106+00:00

Dynamically loaded CANN AscendCL runtime interfaces

docs.rs urn:docs-rs:icydb-cli:0.269.1 2026-10-09T18:39:52.877180+00:00

Developer CLI tools for IcyDB

docs.rs urn:docs-rs:icydb-core:0.269.1 2026-10-09T18:39:50.925152+00:00

IcyDB — A schema-first typed query engine and persistence runtime for Internet Computer canisters

docs.rs urn:docs-rs:retiretui_engine:0.4.1 2026-10-09T18:39:49.988893+00:00

Plan model, tax engine, and projection for RetireTui.

docs.rs urn:docs-rs:ruda-driver-cuda:0.1.77 2026-10-09T18:39:48.858150+00:00

CUDA driver backend for Ruda

docs.rs urn:docs-rs:ruda-driver-hip:0.1.77 2026-10-09T18:39:48.818622+00:00

AMD ROCm HIP driver backend for Ruda

docs.rs urn:docs-rs:ailake-query:0.1.18 2026-10-09T18:39:39.780434+00:00

Query planner and executor for AI-Lake — vector search, compaction, ContextAssembler

docs.rs urn:docs-rs:ruda-driver-cpu:0.1.77 2026-10-09T18:39:30.332078+00:00

CPU driver backend for Ruda

docs.rs urn:docs-rs:zisk-sm-mem-planner:1.3.2-alpha 2026-10-09T18:39:25.604347+00:00

C++-backed memory access planner for the ZisK zkVM

docs.rs urn:docs-rs:zisk-sm-mem:1.3.2-alpha 2026-10-09T18:39:22.147575+00:00

Memory state machine for the ZisK zkVM

docs.rs urn:docs-rs:icydb-model:0.269.1 2026-10-09T18:39:12.897656+00:00

IcyDB application-model authoring, validation, and code generation

docs.rs urn:docs-rs:icydb-model-macros:0.269.1 2026-10-09T18:38:53.925836+00:00

Procedural macros for IcyDB application models

docs.rs urn:docs-rs:rublas-host:0.1.77 2026-10-09T18:38:49.531896+00:00

rublas CPU strided/batched floating-point and integer matrix multiplication.

docs.rs urn:docs-rs:icydb-schema:0.269.1 2026-10-09T18:38:41.407641+00:00

Bounded public schema proposal contract for IcyDB

docs.rs urn:docs-rs:icydb-diagnostic-code:0.269.1 2026-10-09T18:38:34.516623+00:00

Compact diagnostic codes for IcyDB

docs.rs urn:docs-rs:ailake-file:0.1.18 2026-10-09T18:38:29.720498+00:00

Self-contained AI-Lake file writer/reader — Parquet extended with HNSW footer

docs.rs urn:docs-rs:zisk-precomp-hints:1.3.2-alpha 2026-10-09T18:38:27.994255+00:00

Hint generation for ZisK precompiles

docs.rs urn:docs-rs:stackure:1.20261009.86 2026-10-09T18:38:12.860933+00:00

Official Stackure authentication SDK for Rust

docs.rs urn:docs-rs:queueflow:0.2.0 2026-10-09T18:38:12.694786+00:00

QueueFlow server and CLI: a PostgreSQL-native job queue and workflow engine (REST API, workers, metrics, OpenAPI spec generation).

docs.rs urn:docs-rs:zisk-transpiler-riscv:1.3.2-alpha 2026-10-09T18:38:08.018409+00:00

Transpiler from RISC-V to the ZisK instruction set

docs.rs urn:docs-rs:ruDNN-host:0.1.77 2026-10-09T18:37:57.020499+00:00

ruDNN CPU attention, activations, convolution, pooling, interpolation and grid sampling.

docs.rs urn:docs-rs:ruda-runtime:0.1.18 2026-10-09T18:37:34.480620+00:00

Ruda portable host runtime.

docs.rs urn:docs-rs:zisk-sm-mem-common:1.3.2-alpha 2026-10-09T18:37:25.513385+00:00

Shared memory-handling types for ZisK state machines

docs.rs urn:docs-rs:ailake-catalog:0.1.18 2026-10-09T18:37:22.785503+00:00

Iceberg Spec v2 catalog backends (Hadoop, REST, Glue, Nessie, JDBC) for AI-Lake

docs.rs urn:docs-rs:zisk-coordinator-api:1.3.2-alpha 2026-10-09T18:37:20.646145+00:00

ZisK Coordinator gRPC types (generated from proto)

docs.rs urn:docs-rs:queueflow-client:0.2.0 2026-10-09T18:37:18.689342+00:00

Hand-written Rust client for the QueueFlow REST API, including the remote worker protocol. Reuses the engine's domain types, so requests and responses can never drift from the server.

docs.rs urn:docs-rs:ruRAND:0.1.77 2026-10-09T18:37:18.633763+00:00

Random number generation for Ruda.

docs.rs urn:docs-rs:ailake-parquet:0.1.18 2026-10-09T18:37:00.298218+00:00

Parquet reader/writer with VECTOR column type for the AI-Lake format

docs.rs urn:docs-rs:aj-models:0.10.14 2026-10-09T18:36:59.139635+00:00

Public data models for ada-judge frontends

docs.rs urn:docs-rs:ailake-index:0.1.18 2026-10-09T18:36:56.697163+00:00

HNSW and IVF-PQ vector indexes with GPU acceleration for AI-Lake

docs.rs urn:docs-rs:ruda-dataset:0.21.12 2026-10-09T18:36:52.650857+00:00

Library with simple dataset APIs for creating ML data pipelines

docs.rs urn:docs-rs:zisk-coordinator-client:1.3.2-alpha 2026-10-09T18:36:45.540604+00:00

ZisK Coordinator blocking client and remote job handle

docs.rs urn:docs-rs:icydb:0.269.1 2026-10-09T18:36:41.903457+00:00

IcyDB — A schema-first typed query engine and persistence runtime for Internet Computer canisters

docs.rs urn:docs-rs:queueflow-api:0.2.0 2026-10-09T18:36:37.559573+00:00

HTTP API (axum) and OpenAPI definition for QueueFlow.

docs.rs urn:docs-rs:tla-checker:0.24.3 2026-10-09T18:36:21.763715+00:00

A TLA+ model checker written in Rust

docs.rs urn:docs-rs:queueflow-core:0.2.0 2026-10-09T18:36:06.536507+00:00

Core engine for QueueFlow: a PostgreSQL-native distributed job queue and workflow engine.

docs.rs urn:docs-rs:brokk-tree-sitter-cpp:0.24.2 2026-10-09T18:36:05.047408+00:00

Brokk-maintained C++ grammar for the tree-sitter parsing library

docs.rs urn:docs-rs:zisk-transpiler-common:1.3.2-alpha 2026-10-09T18:35:58.860710+00:00

Shared ELF-to-ROM transpilation utilities for the ZisK zkVM

docs.rs urn:docs-rs:zisk-cluster-common:1.3.2-alpha 2026-10-09T18:35:55.578409+00:00

Shared types and utilities for the ZisK distributed proving cluster

docs.rs urn:docs-rs:ailake-fts:0.1.18 2026-10-09T18:35:40.933659+00:00

Tantivy per-file FTS index embedded in the AILK_FTS section

docs.rs urn:docs-rs:ailake-cache:0.1.18 2026-10-09T18:35:26.540184+00:00

Local and Redis/Valkey cache for AI-Lake metadata, queries and index reads

docs.rs urn:docs-rs:zisk-sm-binary:1.3.2-alpha 2026-10-09T18:35:24.561182+00:00

Binary operations state machine for the ZisK zkVM

docs.rs urn:docs-rs:zisk-common:1.3.2-alpha 2026-10-09T18:35:19.571056+00:00

Common utilities and shared types for the ZisK zkVM

docs.rs urn:docs-rs:ruRAND-host:0.1.77 2026-10-09T18:35:15.186974+00:00

Random number generation for Ruda.

docs.rs