A Raft implementation tested with a deterministic network simulator, a continuous safety-invariant checker, and a linearizability checker
Traceability and reliability analyser for a medical device design history file: requirement to verification coverage, risk control checks, exact confidence intervals and Weibull fitting
Web platform for RF engineering documentation and measurement data: Python backend, MariaDB schema, SVG charts with no front end dependencies