crabka-verified cargo 0.4.1 none none Formally verified pure kernels (Creusot) shared by Crabka's consensus and log crates 179 8d ago efterscript-graphics cargo 0.0.7 none none Graphics state and capture for the EfterScript interpreter: a PDF-shaped, resolution-independent vector IR with sink traits for pluggable backends 179 10d ago energyml-section cargo 0.2.0-alpha.4 none none The section view: long and cross sections of a model along a trace - wells projected, surfaces cut - computed into a catalogue and written as SVG. 179 20h ago frensense-engine cargo 0.7.0 none none Frensense engine core - IR lowering, value-flow analysis, interprocedural taint, and policy checks 179 3d ago g3-auth cargo 0.1.3 none none Session auth for Dioxus fullstack apps on SurrealDB: a deny-by-default guard, #[public] server functions and routes. 179 4d ago valo-codec-apple cargo 0.7.2 none none Apple's system image codecs for Valo, delivering frames as shared Metal textures where possible 179 6d ago outram-mc-libs cargo 0.0.5 none 4 vulnerabilities 4 Pure-Rust port of OpenMC Monte Carlo neutron transport kernels -- an independent OUTRAM PARK fork, not the official OpenMC software 178 8d ago ridlc cargo 0.10.0 none medium The `ridlc` compile pipeline as a library: source to IR to generated code. 178 1d ago tape-retry cargo 0.5.0 none none Shared retry infrastructure with exponential backoff 178 4d ago degenbot-aave cargo 0.6.0-alpha.14 none none Pure-Rust Aave V3 domain crate: the updater chunk-loop (transactional apply of decoded Aave events under one rusqlite Transaction) + the position-analysis math… 177 8d ago rustible cargo 0.7.0 none none Rustible: configuration management as real code. Typed Rust playbooks compiled to static binaries, no YAML, no remote interpreter. 177 3d ago energyml-proj cargo 0.2.0-alpha.4 none none A pure-Rust geodesy backend for energyml-domain: reprojection between EPSG systems, wasm included. 176 20h ago graphile_worker_postgres_tls cargo 0.1.1 none none Feature-selected PostgreSQL TLS connectors for graphile_worker 176 9d ago lsm-db cargo – 1.1.0 did not build – Log-structured merge-tree storage engine for Rust. Memtable, leveled SSTables, background compaction, and bloom-filtered point reads over a durable wal-db log.… 176 5d ago molframe-compare cargo 0.6.4 none none Structure comparison scores for molframe 176 43m ago regops cargo – 0.8.0 did not build – GitOps agent for localhost configuration management 176 5d ago steamship cargo 0.9.11 none none Uploads game builds to Steam with Valve's steamcmd, from your machine or CI: steamcmd pinned and verified, scripts checked before anything is sent, a clear… 176 6h ago dingding-macros cargo 0.1.10 none none Procedural macros for dingding bot handlers. 175 2d ago happenstance cargo 0.4.2 none none DCB-compliant event sourcing with batteries: typed events, decision models and projection runners over a storage-agnostic contract. 175 2d ago heald cargo 0.4.2 none none One memory. Every AI agent. A single-binary CLI that keeps Antigravity, Claude Code, Cursor, Hermes, and Codex all reading from the same rules and project… 175 4d ago skilj-rest cargo 0.0.10 none none SkilJ's REST surface: narrowly-scoped AccessToken-authenticated routes for agents and automated callers. See docs/architecture.md §7. 175 4d ago diskann-bftree cargo 0.60.0 none none DiskANN3 is a composable library for bringing scalable, accurate and cost-effective vector indexing to multiple databases. 174 9d ago skilj-graphql cargo 0.0.10 none none SkilJ's GraphQL surface: a unified async-graphql::dynamic schema rebuilt at runtime, and resolvers for every GraphQL-facing surface. See docs/architecture.md… 174 4d ago ferrox-sentinel cargo 0.8.1 none none AI/ML Security Analytics & Threat Detection Engine for Ferrox Enterprise backends (Entropy, Feature Hashing, MinHash LSH, Velocity Z-Score, Isolation Anomaly… 173 12h ago retinue cargo 0.3.0 none none A Rust implementation of the Reticulum protocol: identity, announces, links, resources, and routing. The protocol is public domain; this is not the reference… 173 9d ago shogiesa-stratify cargo 0.11.5 none none Adapter mapping shogiesa PositionRecords onto stratifykit-core's generic feature/bucket/group concepts 173 2d ago blazar-core cargo 0.27.0 none none Blazar pure domain core: config, store, catalog, gguf, profile compiler 172 2d ago dps-environment cargo 0.1.1 none none Depth↔pressure conversion for variable dive environments 172 12h ago m2-syn-macros cargo – 0.6.0 did not build – Procedural macros for m2-syn 172 5d ago nornir-docbook cargo 0.1.7 none none The pure, warehouse-free documentation RENDER engine of the nordisk constellation: assembled markdown → typst → PDF / HTML / per-page SVG via typst-as-lib +… 172 5d ago 