Giters
michaelabernardo

michaelabernardo

Geek Repo

0

followers

0

following

3

stars

Github PK Tool:Github PK Tool

michaelabernardo's starred repositories

cryptol

Cryptol: The Language of Cryptography

Language:HaskellLicense:BSD-3-ClauseStargazers:1136Issues:57Issues:1188

cryptol-course

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

Language:PythonLicense:BSD-3-ClauseStargazers:25Issues:9Issues:84

cryptol-rust-client

A Rust client for Cryptol's remote-api

Language:RustLicense:BSD-3-ClauseStargazers:3Issues:1Issues:0