profile
viewpoint

DevJPM/CryptoJPM 3

public fork of Crypto++ v5.6.2 to add algorithms

DevJPM/BSV-Stuff 1

To toy around with Bluespec-SystemVerilog and my Basys3 board

DevJPM/ABY 0

ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation

DevJPM/CBMC-Golf 0

A Repository dedicated to making CBMC fit for "standard" applications

DevJPM/rust 0

Empowering everyone to build reliable and efficient software.

DevJPM/stdarch 0

Rust's standard library vendor-specific APIs and run-time feature detection

more