←BackGaloisInc/cryptol0Copy as MarkdownView on GitHub↗1,210 stars·129 forks·Haskell·BSD-3-Clause·0 viewsgaloisinc.github.io/cryptol/master/RefMan.html↗CryptolFeaturesCryptographic Libraries - Domain-specific language for specifying cryptographic algorithms.