I do hardware (circuitry, embedded systems, FPGAs, fabrication), security (reversing, cryptography), and CS (type theory, automata theory, formal verification)
Popular repositories Loading
-
MicroMechBoard
MicroMechBoard PublicSource files and schematics for a very small, 33-key mechanical keyboard
-
Example-Distributed-App
Example-Distributed-App PublicAn example distributed systems application in Haskell using Cloud Haskell
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.