Ben Blaxill's repositories
hash-cores
Experiments with practical, type specified FPGA hashing circuits using the Clash framework
HessianFree
Trains a neural net using the 2nd order Hessian Free method
clash-compiler
CAES Language for Synchronous Hardware
clash-playground
A Clash playground/starter kit, using Nix
LatticeReduction
Lattice reduction tools.
oak-hardware
Formal specification and verification of hardware, especially for security and privacy.