GaloisInc / cryptol
git clone https://github.com/GaloisInc/cryptol.git
Cryptol: The Language of Cryptography
+0
stars, 24h · #57,111
+2
stars, 7 days · #37,525
+~3
stars, 30 days · #53,390
1.2k
★ total · +0% this week
130
forks · 253 open issues
Star history (as recorded here)
LanguageHaskell
LicenseBSD-3-Clause
Created2014-04-17 (12y ago)
Last push2d ago
OwnerOrganization
Links
- GitHub: github.com/GaloisInc/cryptol
- Homepage: https://galoisinc.github.io/cryptol/master/RefMan.html
- Releases · Issues · Hacker News mentions
README
Loading README…