Updated 8 months ago
Updated 9 months ago
Updated 10 months ago
Fork of dmrconfig
Updated 11 months ago
Files related to amateur radio software
Updated 11 months ago
Updated 12 months ago
My experimentation with theorem provers
Updated 1 year ago
Updated 1 year ago
Updated 1 year ago
Implementations of tetris in various libraries
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago