Low-level programming and operating systems enthusiast. Fascinated with formal languages and proofs.
Michael Mamic
Bringing the workflow of Arduino to the Raspberry Pi
mchlmmc
