htl cargo 0.14.0 clean Holistic Typed Lua: Teal type-checked at cargo build and run on an embedded mlua state (umbrella over htl-core + htl-macros) 1.1K 1d ago bynkc cargo 0.314.23 clean The Bynk compiler CLI: type-checks Bynk source and compiles it to typed TypeScript for Cloudflare Workers. 1.0K 22h ago bynk cargo 0.309.0 clean 0.314.23 did not build The Bynk developer driver: links the compiler in-process and orchestrates the Node toolchain (doctor, new, dev, deploy, check, fmt, test, explain). 969 3d ago tatara-lisp-lint cargo 0.4.3 clean tatara-lisp-lint — typed, pluggable rule engine that lints .tlisp source against semantic Rules over the real tatara-lisp AST (read_spanned). Each rule is one… 966 1h ago blue-lang-bidama cargo 0.0.64 clean 0.0.65 did not build bidama — a blue package, and posture resolution: join the floors, check against the root ceiling. 947 6h ago inillucent-transaction cargo 2.5.0 clean Locks, autocommit, savepoints, rollback journal, WAL, checkpoints, and recovery. 942 1h ago specsync cargo not built 6.0.1 did not build Bidirectional spec-to-code validation with schema column checking — 33 languages, single binary 878 5h ago segstore cargo 0.6.0 clean Generic durable segmented store: write-ahead log, immutable segments, tombstones, checkpoint, and compaction 828 1d ago laterite-ags4-trust cargo 0.18.3 clean The certificate trust model for AGS4: one door for check + mint 811 13h ago tatara cargo 0.4.3 1 vulnerability 1 tatara — umbrella CLI: fmt, lint, run, test, deploy. Drives feira for static checks, tatara-script for execution, wasm-platform for deploy. 801 1h ago vivacity-core cargo 0.20.0 1 vulnerability 1 Manifests, content hash, platform checks, dist fetching, content-addressed store and installation for vivacity 770 2d ago citum cargo 0.82.0 3 vulnerabilities 3 Citum CLI: render, check, convert, and manage citation styles, references, and documents 744 5d ago nanobook cargo 0.19.1 clean Deterministic Rust execution engine for trading backtests: limit-order book, portfolio simulation, metrics, risk checks, and Python bindings 742 9h ago heddle-ci-engine cargo 0.30.0 clean Local check executor for Heddle CI 700 11h ago page_validation cargo 0.10.0 clean A fast PDF accessibility and conformance checker. 692 4d ago faucet-source-kinesis cargo 1.1.2 clean AWS Kinesis Data Streams source connector for faucet-stream (sharded consumer, resumable checkpoints) 682 23h ago axocoatl-memory cargo 1.3.0 clean 4-tier memory system and agent state checkpointing for Axocoatl 659 1d ago ikigai-passkey cargo 0.1.45 clean A minimal single-user WebAuthn (ES256) assertion verifier: check a passkey assertion against one registered credential — origin, RP-ID, challenge,… 650 7h ago bynk-driver cargo 0.314.23 clean The command bodies shared by the Bynk CLIs (bynkc and bynk): project rooting, check, fmt, test, and output writing. 638 22h ago melin-journal cargo 0.19.0 clean Durable write-ahead journal with CRC32C checksums, BLAKE3 hash chain, and snapshot framing 629 16h ago verify-trust cargo not built 0.18.1 did not build CI verifier for VGI: checks that every commit in a git range is signed by a DID the community's Trust Registry currently authorizes. 617 4d ago smix-authoring-propose cargo 14.0.0 clean smix-authoring-propose — the fenced authoring-proposal tier: a failed flow run's structured bundle to a local claude CLI, back as a machine-checkable proposal… 604 5h ago blue-lang-cli cargo not built 0.0.65 did not build The blue command line: run, fmt, ast, erase, check. 597 4h ago tatara-keywords cargo 0.4.3 clean tatara-keywords — the tatara-lisp keyword namespace, checked. Scans a source tree for `#[tatara(keyword = "…")]` declarations, refuses two different types… 591 1h ago htl-cli cargo 0.13.0 2 detections 3 vulnerabilities 0.14.0 did not build 2 3 htl command line (also `cargo htl`): check / run / test / fmt / build / pkg / new for Teal projects 578 3d ago durare cargo 0.5.0 clean A DBOS-compatible durable execution SDK for Rust: write ordinary async code, checkpoint every step to Postgres or SQLite, and resume exactly where you left off… 565 3d ago hekate-verifier cargo 0.37.0 clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. 554 3d ago sandogasa-build cargo 0.25.3 clean Build-script helper: the git describe of the checkout a sandogasa tool is built from, for its --version 527 4d ago file-hasher cargo 0.1.1 1 vulnerability 1 A fast and efficient CLI tool for calculating SHA256, SHA1, and MD5 hashes of files with progress indication and colored output 481 1d ago vacant cargo 0.4.18 5 vulnerabilities 5 Fast domain availability checker. Asks authoritative TLD nameservers directly instead of WHOIS. 470 3d ago 