Pinned Repositories
blog-compdata-trees-and-catamorphisms
boo
Library for representing boolean polynomials of a small number of variables.
clash-compiler
CAES Language for Synchronous Hardware
clash-nursery
clash-playground
A Clash playground/starter kit, using Nix
coqutil
Coq library for tactics, basic definitions, sets, maps
docker
Dockerfiles to package Nix in a minimal docker container
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
jacobi
Simple example of the jacobi method.
blaxill's Repositories
blaxill/jacobi
Simple example of the jacobi method.
blaxill/hash-cores
Experiments with practical, type specified FPGA hashing circuits using the Clash framework
blaxill/HessianFree
Trains a neural net using the 2nd order Hessian Free method
blaxill/blog-compdata-trees-and-catamorphisms
blaxill/boo
Library for representing boolean polynomials of a small number of variables.
blaxill/clash-compiler
CAES Language for Synchronous Hardware
blaxill/clash-nursery
blaxill/clash-playground
A Clash playground/starter kit, using Nix
blaxill/coqutil
Coq library for tactics, basic definitions, sets, maps
blaxill/docker
Dockerfiles to package Nix in a minimal docker container
blaxill/hw-rankselect
blaxill/LatticeReduction
Lattice reduction tools.
blaxill/nixpkgs
Nix Packages collection
blaxill/oak
Meaningful control of data in distributed systems.
blaxill/oak-hardware
Formal specification and verification of hardware, especially for security and privacy.
blaxill/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
blaxill/std4
Standard Library for Lean 4