Pinned Repositories
orgro
An Org Mode app for iOS and Android
recipes
cryptol-course
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
An Org Mode app for iOS and Android
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.