almost-enough cargo 0.4.5 clean Batteries-included ergonomic extensions for the `enough` cooperative cancellation crate 48K 5d ago surrealmx cargo 1.0.0 clean An embedded, in-memory, lock-free, transaction-based, key-value database engine 588K 8h ago surrealml-core cargo 0.3.3 1 detection 1 The core machine learning library for SurrealML that enables SurrealDB to store and load ML models 155K 2d ago sealmap-model cargo 0.2.1 clean Language-neutral, deterministic code model (files, symbols, relations) for codebase-to-Mermaid generation 25 6d ago sealmap-frontend cargo 0.1.1 clean Deprecated: renamed to sealmap-extract. This crate only re-exports it. 19 7d ago sealmap-rust cargo 0.2.1 clean Pure-Rust (syn) language adapter for sealmap: extracts symbols, relations and ordered call flows from Rust workspaces 19 6d ago sealmap-mermaid cargo 0.2.1 clean Typed, deterministic Mermaid writers (sequence, class, ER, flowchart) with safe escaping and injective ids derived from sym: symbol ids 18 6d ago sealmap-corpus cargo 0.2.1 clean Dense Mermaid projections of a sealmap Codebase, the seal lockfile and checks that keep hand-written diagram topics true to the code, and bounded review packs 17 6d ago typed-kalman cargo 0.1.1 clean Type-safe, no_std Kalman filters: KF, EKF, UKF and smoothers 17 6d ago sealmap cargo 0.2.1 clean Deterministic code maps and sealed diagram contracts for LLM development harnesses: stable symbol ids, signature and body hashes, a seal lockfile checked in… 14 6d ago sealmap-extract cargo 0.2.1 clean Language-neutral extraction core for sealmap language adapters: raw flow IR, flow lowering, call aggregation, confidence policy, label rules, sym: id builder,… 12 6d ago sealmap-dense cargo 0.2.1 clean Compact, deterministic agent projection of a sealmap code model: Rust-like skeletons with line spans, indented call trees, a short-name index and budgeted… 8 6d ago epserde cargo 0.13.2 clean ε-serde is an ε-copy (i.e., almost zero-copy) serialization/deserialization framework 289K 14h ago meerkat-schedule cargo not built 0.8.52 did not build Realm-scoped schedule domain for Meerkat 25K 3d ago meerkat-workgraph cargo not built 0.8.52 did not build Realm-scoped durable work graph subsystem for Meerkat 24K 3d ago cadical-sys cargo 0.8.0 clean Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API. 11K 1d ago brokk-bifrost-jvm cargo not built 0.13.0 did not build JVM language knowledge for brokk-bifrost: Java, Scala and Kotlin declarations, imports and hierarchy, and the shared JVM source realm 1.5K 3d ago polyc-projection cargo 2026.10.2 clean The projection family registry: one published family's tables, columns, realms, schema and fact-model versions, and the fingerprint a reader validates before… 491 5d ago polyc-projection-artifact cargo not built 2026.10.2 did not build Shared projection artifact format, admission, and realm-typed exact-read contract 374 5d ago polarion-soap cargo 0.1.0 clean Async client for the Siemens Polarion ALM SOAP web services, generated from the WSDLs 16 2h ago polarion cargo 0.1.0 clean Convenient, read-focused access to Siemens Polarion ALM, built on the SOAP web services 15 2h ago polarion-markdown cargo 0.1.0 clean Markdown to Polarion rich text (HTML) and back: work item links, formulas, tables, syntax highlighting, mermaid diagrams as SVG 15 2h ago polarion-commands-derive cargo 0.1.0 clean Code generation for polarion-commands: command DTOs and the command registry 14 2h ago polarion-commands cargo 0.1.0 clean Every operation of the polarion library as a typed command DTO, shared by the CLI and the MCP server 12 2h ago taktus cargo 0.1.0 clean The tempo of music and where its beats fall, from the sound itself, for almost nothing. No dependency. 9 2d ago climate-indices cargo 0.0.0 clean Pure-Rust numerical kernels for climate indices (SPI, SPEI, PET, EDDI, Palmer, fire weather). Placeholder release reserving the name. 8 3d ago fusion-nav cargo 0.1.0 clean A no_std, allocation-free 15-state error-state Kalman filter for inertial navigation. Fuses IMU with GNSS position, velocity, dual-antenna heading and course,… 7 7d ago polarion-cli cargo 0.1.0 3 vulnerabilities 3 Command-line interface for Siemens Polarion ALM, with JSON output for automation 7 2h ago polarion-mcp cargo 0.1.0 3 vulnerabilities 3 MCP server (stdio or Streamable HTTP) giving AI agents access to Siemens Polarion ALM (read-only unless writes are enabled) 7 1h ago smelly cargo 0.1.0 clean Performant Kalman filter implementation and its variants, like Extended Kalman (EKF) and Unscented Kalman Filters (UKF). 7 4d ago 