| aprender-update cargo | 0.70.2 | clean | Update check and self-update for sovereign binaries: newer of release and green nightly, sha256-verified, atomic swap | 24 | 1d ago |
| blockle-vm cargo | 0.1.8 | clean | Blockle VM scaffold: deterministic, gas-metered contract execution (milestone 2) | 24 | 6h ago |
| sootmark-fwlogs cargo | 0.1.0 | clean | Firewall logs for forensics: Palo Alto PAN-OS (syslog and CSV export), Fortinet FortiGate (key=value and CSV), Cisco ASA syslog, read into connections,… | 24 | 11h ago |
| tiri cargo | 0.1.2 | 1 vulnerability 1 | niri inspired terminal multiplexer | 24 | 1d ago |
| ferrocad_types cargo | 0.1.2 | clean | FerroCAD base value types: quantities, units, and geometry (Vector3, Matrix4, Rotation, Placement) | 23 | 3d ago |
| ipg-cng cargo | 0.1.2 | clean | Minimal safe wrapper over Windows CNG and TPM Base Services (IronPrivacyGuard) | 23 | 3d ago |
| seismograph_protocol cargo | 0.2.0 | clean | Local monitor protocol and discovery model for Seismograph. | 23 | 2d ago |
| blockle cargo | 0.2.8 | clean | Blockle AutoPool — the universal deployment system for PoW mining pools: point it at a chain, get a pool | 22 | 1d ago |
| gpui-x-refineable cargo | 0.1.0 | clean | A macro for creating 'refinement' types that can be used to partially initialize or mutate a complex struct | 22 | 3d ago |
| raft-seedable cargo | 0.7.0 | clean | Arachne-maintained fork of tikv/raft-rs 0.7.0 adding a thread-local, seedable election-RNG hook (set_election_rng_seed / clear_election_rng_seed) for… | 22 | 3d ago |
| instrument-components cargo | 0.1.1 | clean | High-level instrument discovery and typed IVI-inspired classes over VISA | 21 | 2d ago |
| wsr-expr cargo | 0.0.3 | clean | Provider-agnostic ${{ }} expression evaluator for wsr workflow definitions | 21 | 1d ago |
| blockle-chain cargo | 0.1.4 | clean | Consensus rules, chain state, and mining for the Blockle blockchain | 20 | 1d ago |
| jwtf-proto cargo | 0.0.1-alpha.2 | clean | The sans-IO core of jwtf: OpenID Connect and OAuth 2.0 as state machines without I/O or a clock, for any HTTP client and repeatable tests | 20 | 3d 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 | 2d ago |
| lexe-uri cargo | 0.1.26 | clean | Minimal URI parsing and encoding | 20 | 2d ago |
| pretty_table_rs cargo | 0.1.1 | 1 vulnerability 1 | Typed, Unicode-aware tables inspired by Python PrettyTable | 20 | 2d ago |
| rusix-derive cargo | 0.1.1 | clean | Procedural macros for Rusix configuration and symbolic values | 20 | 7h ago |
| semq cargo | 1.0.0 | clean | Safe Rust bindings to the SEMQ core: deterministic symbolic encoding of float32 vectors. | 20 | 3d ago |
| curveforge-codegen cargo | 1.0.0 | clean | The Rust back end of the CurveForge pipeline: emits a finite field, a curve model, or an elliptic curve from its resolved form | 19 | 9h ago |
| itofin-optimize cargo | 0.36.0 | clean | SciPy-inspired numerical optimization in Rust: a finance-independent minimize over plain float slices. | 19 | 2d ago |
| mhome-ble-commission cargo | 0.3.2 | clean | Platform-neutral BLE discovery, pod commissioning and Host provisioning for MeowLink native Clients | 19 | 2h ago |
| morsh-core cargo | 0.3.0 | clean | Core protocol framing, binary codecs, and wire definitions for morsh | 19 | 1d ago |
| solcompat-core cargo | 0.1.1 | clean | Compatibility data model and deterministic rule engine for SolCompat | 19 | 4h 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 | 2d 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 | 2d ago |
| wsr-client cargo | 0.0.3 | clean | HTTP client for fetching actions and Wasm components, with SHA pinning | 18 | 22h ago |
| curveforge-pipeline cargo | 1.0.0 | clean | The CurveForge pipeline: the stages a definition passes through, and the composition of them | 17 | 7h ago |
| discipline cargo | 0.18.0 | clean | Universal CI/CD gatekeeper and AI coding agent diff sentinel | 17 | 3d ago |
| fleetix-sidecar cargo | 0.6.0 | clean | Standalone Pkl-to-Nix sidecar generator and reusable Fleetix library | 17 | 1d ago |
