Generalist programmer, system architect, trainer. Embedded systems, networking. Interested in formal methods.
Popular repositories Loading
-
Kaleidoscope
Kaleidoscope Public复刻ed from keyboardio/Kaleidoscope
Firmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.
C
-
Model01-Firmware
Model01-Firmware Public复刻ed from keyboardio/Model01-Firmware
The "standard" Keyboardio Model 01 Firmware sketch.
C++
-
-
org.alloytools.alloy
org.alloytools.alloy Public复刻ed from AlloyTools/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
