o41-checkpoint cargo 0.1.0 clean Save and resume training checkpoints in a directory, a bucket, or 041 Artifacts 16 14h ago scafra-actuator cargo 0.1.0-snapshot.1 clean Spring Boot-style operational endpoints for Scafra 16 1d ago secantus-pgcatalog cargo 0.1.0-beta.4 clean SQL catalog documents for the SecantusDB PostgreSQL server 16 9h ago tla-mc cargo 0.1.1 clean A fast TLA+ model checker: compiles a spec into a native, parallel checker; state counts measured exact against TLC 16 1d ago axon-reflex cargo 0.1.1 clean Audited reflex arc for autonomous agents: hard-bounded, sub-deliberative triggers that can brake, alert, or quarantine — but can never steer — every firing on… 15 3d ago eidolon-replay cargo 0.1.1 clean Counterfactual replay for audited agents: fork a hash-chained history, replay it under an alternate policy, and sign the divergence — provable… 15 3d ago ferrocad_core cargo 0.1.2 clean FerroCAD core: quantities, properties, documents, recompute DAG 15 3d ago fusionspace-hpr-sim cargo 0.1.0 clean The 6-DOF flight engine: state, launch rail phase, integrators, events, recovery, staging and the recorder. 15 3h ago openreadout-batch cargo 0.2.0 clean Measurements across many instrument files as one table, with sample-sheet joins and group summaries 15 12h ago openreadout-live cargo 0.2.0 clean Reading files while instruments still write them: a directory watcher and live QC rules for OpenReadout 15 12h ago orenda cargo 0.1.1 clean Federated cognition pooling: members enroll under owner-held keys, advertise capability, receive deterministic layer/KV shard assignments, and every placement… 15 3d ago pith-pdf cargo 0.1.0 clean PDF text extraction across classic xref, xref streams, cmap and CID fonts 15 57m ago siu-tui cargo 0.0.2 clean A terminal UI to manage MCP servers and skills across coding agents (Claude Code, Codex, Gemini CLI, Cursor, …) 15 16h ago ter-telemetry cargo not built 0.1.0 did not build Venues, instruments and the event stream behind ter's exercise runs 15 4d ago upgradelab-runner cargo 0.1.1 1 vulnerability 1 Executable Soroban migration rehearsal: runs the compiled old and new WASM in the Soroban host, upgrades, migrates and evaluates named invariants. 15 21h ago wolakota cargo 0.1.1 clean Inter-organism treaties: cross-owner consent contracts between sovereign agents — dual-signed scopes, hash-chained treaty book, unilateral revocation — named… 15 3d ago ocserve-llm cargo 0.1.0 clean Provider clients: openai-compatible first; stream assembly + fuzz corpus 14 12h ago pith-text cargo 0.1.0 clean Text fingerprints: NFC canonicalisation, word 3-shingles and a 128-word MinHash signature 14 56m ago printcad-bench-sdk cargo 0.1.0 clean Write printCAD workbenches as WebAssembly components 14 2d ago mzizi-brand cargo 0.3.0 clean Mzizi N3 brand components for Dioxus: the first Mzizi Roots batch of branded cards, stats, alerts and states, each with a checkable contract. 13 2d ago ruststream-sqlx-dialect cargo 0.7.0 clean SQL text generation for ruststream-sqlx: the statements its procedural macros and its runtime build for each database. 13 19h ago rhizome-pom cargo 0.1.4 clean POM, the Preset Object Model: the app-unaware base every app's object model is built on. Documents, kinds and their policy, presets, commands, projections. 12 3d 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 3d ago smeltery-mold cargo 0.1.0 clean Mold, the template engine of the Smeltery framework: `@`-directive templates with layouts, components and hot reload. 12 3d ago agentaps-control-protocol cargo 0.1.0 clean Shared Web Connect protocol for Agentaps desktop and browser clients 11 9h ago atrius-index cargo 0.1.1 clean A code search index: ripgrep's exact results from a trigram index, definitions and uses, fragments and outlines, and plain English passage search, kept fresh… 11 1d ago leanctx-native-storage cargo 0.1.0 clean Handle-bound native storage primitives shared by LeanCTX components 11 23h ago chock cargo 0.1.1 clean Quality gates for Rust: new code must be clean, and existing debt can only go down. 53 checks, one exit code, JSON for agents. 10 2d ago fusionspace-hpr cargo 0.1.0 clean The library facade of FusionSpace HPR · Sim: re-exports of the workspace crates and a builder API for environments, motors, rockets and flights. 10 3h ago sgl-input cargo not built 0.2.1 did not build Caller-polled controller discovery, events, and held state for SGL games 10 2d ago 