Updated 2 months ago
Updated 2 years ago
My experimentation with theorem provers
Updated 8 months ago
Implementations of tetris in various libraries
Updated 1 year ago
Updated 7 months ago
Updated 2 years ago
Updated 10 months ago
Updated 10 months ago
Updated 2 years ago
Updated 2 years ago
Updated 6 months ago
Fork of https://github.com/fort-nix/nix-bitcoin
Updated 4 months ago
Updated 9 months ago
Updated 1 year ago
Updated 2 years ago