David Gilhooley's repositories
CBMC-Vboot
This 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
My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC
Language:JavaScript000
engine
The Flutter engine
Language:C++BSD-3-Clause000
Language:TypeScript000
itertools
Extra iterator adaptors, iterator methods, free functions, and macros.
Language:RustApache-2.0000
openmrs-core
OpenMRS API and web application code
openstates
source for Open States' scrapers
pokemon-sqlite-wasm
Use a wasm SQLite database to display pokemon information
so-simple-theme
:art: A simple and clean responsive Jekyll theme for words and photos.
000
UbuntuBugFixing
Wiki pages for Princeton Open Source Ubuntu Team
Language:C++000
Language:RustMIT000