Docs.rs

Work activity tracker CLI: automatic workday and break detection, task management with Jira/GitLab integration, productivity reports and exports

Machine and bundle registration contracts for GlassVM.

Caller-owned querying over selected GlassVM execution-event projections.

Bounded file-backed evidence recording and publication for GlassVM.

Core execution, input, observation, and evidence contracts for GlassVM.

Machine-independent normalizer and capability contracts for GlassVM.

The paralock command-line tool: swap shielded ZEC for stablecoins on EVM chains (quote, swap, pay, resume, refund) and run a Paralock market maker, without a Node process. Built on the paralock Rust SDK.

joeira's authoring surface: the (defjoeira ...) form read into joeira-core's typed border

joeira's typed border: the closed predicate algebra, the severity projection, and the mockable git environment seam

joeira — the typed git-hook control plane: one closed predicate algebra, one registry, one default library

The baseline ratchet: recorded debt that may shrink or hold but never grow, plus the orphan direction

Agent-to-agent messaging for AI coding tools

Rust SDK of Paralock: embed a market maker or a taker for trustless ZEC to stablecoin swaps (htlc and private adaptor mode) in a Rust server. Zcash JSON-RPC and lightwalletd backends, durable swap stores, the maker HTTP API (server and client) and a price feed, wire-compatible with @paralock/sdk.

CLI and TUI for managing UniFi network controllers

A terminal-based Docker container monitoring tool with real-time CPU and memory metrics