• Joined on

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