Updated
Updated
NixOS configuration
Updated
Scripts used on our server especially for lxc
Updated
Hosts + keys
Updated
Updated
Updated
LXC configuration + useful hooks
Updated
Updated
Updated
Python implementation of k-Shape
Updated
Updated
Updated
Updated
Updated
Hugo-based static website
Updated
first verilog project
Updated
Updated
Our ferm configuration for lxc
Updated
Updated