GitHub repository: weaversa/cryptol-course
Primary language: Python
Description: The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.