Statistical model checker for large concurrent systems.
Core module for the Scan model checker.
JANI frontend for the Scan model checker.
Promela frontend for the Scan model checker.
SCXML frontend for the Scan model checker.
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