Why Constant-Time Crypto?
bearssl.org
bearssl.org
Unfortunately it kind of halted development many years ago and hasn't really progressed since.
Perhaps since it was a pre-AI project, it might make sense to continue it with heavy use of LLMs, but with every LOC being human reviewed.