A repository of tools for verifying constant-timeness - View it on GitHub