A repo dedicated to cryptol specs that deviate from available standards (e.g. algorithmic description in NIST) for optimization or proof tailoring purposes. - View it on GitHub