astli-index cargo 0.3.0 clean The top-level names SystemVerilog files declare and use, and the files a design needs 33 22h ago tmux-run cargo 0.3.0 clean Run a command in a detached tmux session, log its output, and collect its exit status later 30 7h ago ironcrypto cargo 0.2.13 clean Agentic-first, FIPS-oriented, pure-Rust cryptography with a machine-readable ontology 28 1d ago xrat-sdk cargo 0.23.0 clean Stable public facade for embedding xrat proxy-management logic 26 1d ago trex-re cargo 0.3.0 clean TREX (Token Regular EXpression) is a regex-shaped pattern language over typed tokens, evaluated by derivatives with long-distance binding and no catastrophic… 25 2d ago scafra-foundation cargo 0.1.0-snapshot.1 clean Shared logging, diagnostics, and cross-cutting foundations for Scafra 21 7h ago lava-operator cargo not built 0.5.12 did not build lava-operator — typed Kubernetes controller for the LavaArchitecture CRD. Operators submit a LavaArchitecture manifest naming a .tlisp source + bindings +… 20 1d ago texo-model cargo 0.2.0 clean Frontend-independent logical and physical models for Texo 20 4h ago tauri-plugin-display-manager cargo not built 2.0.0 did not build A Tauri plugin for per-monitor brightness (backlight through sysfs and logind, external screens through DDC/CI) and night light settings on Linux. 18 1d ago h5i-app cargo 0.1.1 clean The Axum-based application framework for h5i. Write application logic in Rust and prove its properties in Lean 4. 16 2d ago ozzy-core cargo 0.1.0 clean Deterministic owner state for Ozzy. 16 4h ago wsr-tracing cargo 0.0.3 clean Structured logging and output formatting for wsr (human + GHA annotations) 16 6h 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 2d ago colonizer-redact cargo 0.2.12 clean Secret redaction for Colonizer logs, shared by the harness and its observability add-on 15 12h ago mesodb-core cargo not built 0.2.0 did not build Bitemporal Datalog engine 14 1d ago ballista-history cargo 55.0.0 clean Event-log schema, writer, and reader for the Ballista history server 11 1d ago mesodb-server cargo not built 0.2.0 did not build Bitemporal Datalog engine 11 1d ago mzizi-docs cargo 0.3.0 clean Mzizi N10 documentation — the self-describing rung: AI context, docs API and routing, changelog and portal rendering for Dioxus. 10 1d ago sql-bomb-completion cargo 0.1.0 clean SQL table and column completion from cursor position and catalog metadata 10 3d ago fx2la cargo 0.1.0 clean Driver for FX2-based fx2lafw logic analyzers with nusb 9 1d ago intomind-pipeline cargo 1.4.0 clean The IntoMind device's processing chain, as a library: the stage catalog, the rules a chain must meet at a rate, the filter design, and the per-sample run, from… 9 3d ago santati cargo 0.2.0 clean Official Rust SDK for the Santati audit-log API 9 2d ago debugslip cargo 0.1.0 clean Flags a #[derive(Debug)] struct/enum with a sensitive-named field (password, secret, token, api_key, ssn, credit_card, ...) typed as a plain… 8 3d ago eehrxf cargo 0.0.0 clean The European interoperability software component of an EHR system under Regulation (EU) 2025/327: the format-neutral dataset model of the priority categories… 8 1d ago gr-perpl-utils cargo 0.1.0 clean Logic for working with Perpl DEX 8 1d ago radeau cargo 0.1.10 clean command-line interface for working with Dolfin ontology files. It provides tools for linting, formatting, building, and managing Dolfin packages (`.dlf` files). 8 2d ago ssh-sentinel-agent cargo 0.7.4 clean SSH Sentinel log shipper. Tails the auth log and pushes to central. 8 6h ago grannom-tree cargo 0.0.0-reserved clean Name reservation for grannom-tree, the goal-tree state organ: append-only event log, walker, plan gates. Part of Grannom (formerly caddis), a conscience for… 7 2d ago renox-oauth cargo 1.0.0-rc.6 clean Social login (Sign in with Google, GitHub, …) linked to the users of a Renox app. 7 1d ago smeltery-mail cargo 0.1.0 clean Mail for the Smeltery framework: mail classes with Mold templates, an SMTP transport (lettre, rustls), a log transport and a fake for tests. 7 2d ago 