Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it
Data-driven core of Wickra Shazam: a serde FingerprintSpec rolled over an asset's history into an index of fixed-dimension microstructure fingerprints, matched…
Wi-Fi, wired status and the radio toggle over NetworkManager, behind a backend trait with a mock so everything above the D-Bus client is testable without an…
engenho-serve — HTTP serving whose connection tasks the server OWNS: every accepted connection runs in a JoinSet the serve loop holds, so a stop drains them…
Find where macOS disk space went, and clear caches safely. Every command answers in JSON, states why each thing is safe to delete, and is a dry run unless told…
Cloud and SaaS audit logs for forensics: AWS CloudTrail, the Microsoft 365 unified audit log, Entra ID sign-ins and audits, Azure activity, Google Cloud audit…
Keep-awake inhibitors, battery state and power profiles over systemd-logind, UPower and power-profiles-daemon, each behind its own backend trait with a mock
Single proxy dylib shipped with jackdaw. Extensions link against this via `cargo rustc --extern bevy=libjackdaw_sdk.so --extern jackdaw_api=libjackdaw_sdk.so`…
Provider-agnostic floating/reserved-IP mobility: the FloatingIpProvider seam, the idempotent zone-checked reconcile core, and the pure ingress-owner failover…
Bluetooth adapters, devices and pairing over BlueZ, behind a backend trait with a mock so everything above the D-Bus client is testable on a machine with no…
