sva-formula cargo 0.9.8 none none Laws in t and f: the normal form, the Fourier dual rules, and the observations a law answers without sampling 838 1d ago argus-redact-core cargo 0.8.20 none none PII detection and redaction primitives — pure Rust core 837 6d ago zentinel-proxy cargo – 0.6.45 did not build – A security-first reverse proxy built on Pingora with sleepable ops at the edge 835 3d ago hyperdb-api cargo – 1.0.0-rc.5 did not build – Pure Rust API for Hyper database 834 8d ago ikigai-lisp cargo 0.3.1 none none Steel-backed Lisp evaluator as an ikigai module: `urn:lisp:eval` runs s-expressions whose builtins ARE the kernel verbs (source/sink/meta/exists/delete), each… 834 4d ago regent-sdk cargo 0.15.0 none none Multi-paradigm configuration management system as a library 834 3d ago blue-lang-proc cargo 0.0.68 none none blue processes and supervision — OTP's structure over the preemptive scheduler. 833 1d ago tatara-render cargo 0.4.5 none none Env → IaC-platform-shaped manifests. The RENDER phase (THEORY §IV.3) of the eight-phase convergence loop. Each `Backend` impl is a morphism from the typescape… 829 3d ago rustbgpd-fsm cargo 0.12.0 none none RFC 4271 BGP finite state machine — pure, no I/O, no async runtime 827 1d ago strictdoc-parser cargo 0.2.0 none none Parser for StrictDoc .sdoc files and StrictDoc @relation source annotations. 827 5d ago minuit2 cargo 0.5.3 none 0.5.4 did not build 1 vulnerability 1 Pure Rust implementation of Minuit-style parameter optimization 826 3d ago blue-lang-test cargo 0.0.69 none none blue's test framework — assertions that report themselves as blue source. 824 14h ago oxide-sloc cargo 1.6.23 none none Source line analysis tool — CLI, web UI, HTML/PDF reports, test metrics, git hotspots & code ownership, and CI/CD integration 823 2d ago sonify-health-lib cargo – 0.44.0 did not build – Infrastructure sonification library: patch model, audio synthesis, and configuration 823 3d ago geometry-model cargo 0.0.12 none none Built-in concrete geometry types (Point, Segment, Box, Linestring, Polygon, …) mirroring Boost.Geometry models — or bring your own via the concept traits. 822 6d ago crossync cargo 0.2.1 none none A fast concurrent programming suite for Rust. 821 5d ago polyc-conformance-vectors cargo 2026.10.3 none none Owning artifact for the cross-language conformance vector fixtures. 819 15h ago tatara-rollout cargo 0.4.5 none none Edge-of-differences rollout planner. Diff two `tatara-env::Env` snapshots into a typed plan describing exactly what's added / removed / changed / unchanged.… 819 3d ago blue-lang-pkg cargo 0.0.69 none none blue's package manager: the Bluefile surface and its version solver. 817 14h ago ch32rv-usb cargo 0.19.0 none none USB device enumeration, probe selectors, per-device locking, and transaction capture for the ch32rv tool suite (nusb wrapper) 817 5d ago actionqueue-engine cargo – 0.2.0 did not build – Scheduling, derivation, and concurrency primitives for the ActionQueue task queue engine. 816 22h ago anoma-rm-risc0-test-witness cargo 2.0.0-rc.7 none none An Anoma Resource Machine Test Witness using RISC0 zkVM 816 1d ago faucet-stream cargo 1.9.2 none none A declarative, config-driven data pipeline with pluggable source and sink connectors 816 8d ago jstrict cargo 0.16.0 none none Strict RFC 8259 / ECMA-404 JSON parser with source code mapping 816 8d ago libpetri cargo 10.1.0 none none Coloured Time Petri Net engine with formal verification 816 8d ago baukit-integrations cargo 0.10.28 none none Provider-neutral connector contract for cursor-paged imports, verified webhooks, and connection health. 813 2h ago keyroost-piv cargo 0.13.0 none none Pure-Rust PIV (NIST SP 800-73 / FIPS 201) smartcard byte layer (APDU + BER-TLV). 813 3d ago blueprint-tangle-aggregation-svc cargo 0.2.0-alpha.17 none none BLS signature aggregation service for Tangle v2 811 4d ago embed-btree cargo 0.4.1 none none Cpu-cache aware b+tree with extened cursor/entry API 810 2d ago baracuda-ozimmu-sys cargo 0.0.1-alpha.94 2 detections 2 none Build + raw FFI bindings to baracuda's clean-fork of Hiroyuki Ootomo's ozIMMU — the Ozaki-scheme FP64 GEMM library that synthesizes a DGEMM from S² int8… 808 1d ago 