Pinned Repositories
billy
scraping, storing, and sharing legislative information
CBMC-Vboot
This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library
chess-drills
conquest
A city building game. Made to practice javascript, html5, and meteor
DeejCoin
Dotfiles
My Unix dotfiles and a helpful Makefile to install them
engine
The Flutter engine
PIOUS
An Operating System framework for the Rbpi2 and Qemu x86 emulation.
Verified-Boot-Senior-Thesis
My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC
gilhooleyd's Repositories
gilhooleyd/CBMC-Vboot
This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library
gilhooleyd/PIOUS
An Operating System framework for the Rbpi2 and Qemu x86 emulation.
gilhooleyd/Dotfiles
My Unix dotfiles and a helpful Makefile to install them
gilhooleyd/Verified-Boot-Senior-Thesis
My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC
gilhooleyd/billy
scraping, storing, and sharing legislative information
gilhooleyd/chess-drills
gilhooleyd/conquest
A city building game. Made to practice javascript, html5, and meteor
gilhooleyd/DeejCoin
gilhooleyd/engine
The Flutter engine
gilhooleyd/freeboard
A damn-sexy, open source real-time dashboard builder for IOT and other web mashups. A free open-source alternative to Geckoboard.
gilhooleyd/fuchsia-codesearch-copy
gilhooleyd/gilhooleyd.github.io
gilhooleyd/ILA
Instruction-Level Abstraction
gilhooleyd/itertools
Extra iterator adaptors, iterator methods, free functions, and macros.
gilhooleyd/JsNb
gilhooleyd/mediator
a medium inspired jekyll theme
gilhooleyd/my-site-hugo
gilhooleyd/obsidian-chess-study
A chess study helper and PGN viewer/editor for Obsidian.
gilhooleyd/openmrs-core
OpenMRS API and web application code
gilhooleyd/openstates
source for Open States' scrapers
gilhooleyd/pokemon-sqlite-wasm
Use a wasm SQLite database to display pokemon information
gilhooleyd/so-simple-theme
:art: A simple and clean responsive Jekyll theme for words and photos.
gilhooleyd/spacejam
A multi-player, astroid-esque game that allows players to program their ship AI in java.
gilhooleyd/test
gilhooleyd/UbuntuBugFixing
Wiki pages for Princeton Open Source Ubuntu Team
gilhooleyd/viking
Code for The Viking Chartboat website
gilhooleyd/wasm-game-of-life