mikeazo's repositories
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCamlMIT000
GetBook
A script to generate epub ebooks from the texts posted online by BYU's Maxwell Institute.
Language:Python000
intro-to-gnuradio-and-usrp
Automatically exported from code.google.com/p/intro-to-gnuradio-and-usrp
Language:Python000
jiff
JavaScript library for building web-based applications that employ secure multi-party computation (MPC).
Language:JavaScriptMIT000
md380tools
Python tools and patched firmware for the TYT-MD380
Language:C000
Simon_Speck_Ciphers
Implementations of the Simon and Speck Block Ciphers
Language:VHDLMIT000