Testing Tools

This repository organizes formal verification and model-checking resources, techniques, and tools.

MouseTester.io checks mouse buttons and scrolling, and reports click timing, polling rate, and double-click behavior.

SSL Labs provides tools for testing SSL and TLS configurations and related public key infrastructure.

CRX Downloader lets users download Chrome extensions as CRX or ZIP files for testing or viewing their contents.

Glow is system analysis software that displays technical information, according to its repository description.