-
Software Engineer at Google
- New York City, NY
- @gilhooligan3
Block or Report
Block or report gilhooleyd
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
CBMC-Vboot
CBMC-Vboot PublicThis repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library
-
Verified-Boot-Senior-Thesis
Verified-Boot-Senior-Thesis PublicMy senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC
TeX 1
-
spacejam
spacejam PublicA multi-player, astroid-esque game that allows players to program their ship AI in java.
Java
-
openmrs-core
openmrs-core PublicForked from openmrs/openmrs-core
OpenMRS API and web application code
Java
If the problem persists, check the GitHub status page or contact support.