• Joined on Apr 16, 2021

Updated 7 hours ago

Updated 2 weeks ago

Updated 2 months ago

Updated 3 months ago

Updated 4 months ago

Fork of dmrconfig

Updated 5 months ago

Files related to amateur radio software

Updated 5 months ago

Updated 6 months ago

My experimentation with theorem provers

Updated 6 months ago

Updated 6 months ago

Updated 7 months ago

Updated 8 months ago

Updated 9 months ago

Implementations of tetris in various libraries

Updated 1 year ago