#

cryptol

Here are 3 public repositories matching this topic...

dylanmc / CryptoBook

Learning Cryptography, math and programming with Cryptol (and maybe some Python)

cryptography programming math teaching cryptol

Updated Sep 17, 2018
Python

Hacker-Code-J / Cryptol-CraftCodeLab

Mastering the Art of Cryptol Programming

cryptol formal-proofs

Updated Nov 5, 2024
C

0lgierd / Trivium

Trivium stream cipher in Cryptol

cryptography cryptol cryptology

Updated Aug 27, 2020

Improve this page

Add a description, image, and links to the cryptol topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cryptol topic, visit your repo's landing page and select "manage topics."