Top 5 constant-time open source projects

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Constant-time JavaScript functions

Fuzzer to automatically find side-channel (timing) vulnerabilities

high performance AES implementations optimized for cortex-m microcontrollers