Cryptol is an actively used programming language created in 2014.
- Cryptol ranks in the top 50% of languages
- the Cryptol wikipedia page
- Cryptol on github
- Cryptol first appeared in 2014
- tryitonline has an online Cryptol repl
- I have 32 facts about Cryptol. just email me if you need more.
Last updated February 11th, 2019