Updated 2 weeks ago
Updated 2 months ago
Updated 4 months ago
Fork of https://github.com/fort-nix/nix-bitcoin
Updated 4 months ago
Updated 6 months ago
Fork of dmrconfig
Updated 7 months ago
Files related to amateur radio software
Updated 7 months ago
My experimentation with theorem provers
Updated 8 months ago
Updated 8 months ago
Updated 9 months ago
Implementations of tetris in various libraries
Updated 1 year ago
Updated 1 year ago
Updated 2 years ago
Updated 11 hours ago
Updated 4 months ago