blaxill

jacobi

Simple example of the jacobi method.

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

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

hw-rankselect

LatticeReduction

Lattice reduction tools.

nixpkgs

Nix Packages collection

oak

Meaningful control of data in distributed systems.

oak-hardware

Formal specification and verification of hardware, especially for security and privacy.

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

std4

Standard Library for Lean 4