Core module for the Scan model checker.
Statistical model checker for large concurrent systems.
Surgical search through Claude Code JSONL conversation logs
Linux-first terminal system monitor: per-core CPU spectrum with SMT/NUMA, NVIDIA/AMD/Intel GPU dashboards with i915 per-engine breakdown, KVM hypervisor insight, container/runtime process grouping, Catppuccin themes
Statistical functions module for SciRS2 (scirs2-stats)
A TUI application to manage QEMU VM library
Pure Rust reimplementation of Bio-Formats — read/write scientific image formats