CLI tool and Python library to configure SteelSeries gaming mice

Sweet B is a safe, compact, embeddable library for elliptic curve cryptography.

Verifying constant-time code with symbolic execution

A playground for type theory implementations in Racket