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

PIOUS

An Operating System framework for the Rbpi2 and Qemu x86 emulation.

Dotfiles

My Unix dotfiles and a helpful Makefile to install them

Verified-Boot-Senior-Thesis

My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC

billy

scraping, storing, and sharing legislative information

chess-drills

conquest

A city building game. Made to practice javascript, html5, and meteor

DeejCoin

engine

The Flutter engine

freeboard

A damn-sexy, open source real-time dashboard builder for IOT and other web mashups. A free open-source alternative to Geckoboard.

fuchsia-codesearch-copy

gilhooleyd.github.io

ILA

Instruction-Level Abstraction

itertools

Extra iterator adaptors, iterator methods, free functions, and macros.

mediator

a medium inspired jekyll theme

my-site-hugo

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.

spacejam

A multi-player, astroid-esque game that allows players to program their ship AI in java.

test

UbuntuBugFixing

Wiki pages for Princeton Open Source Ubuntu Team

viking

Code for The Viking Chartboat website

wasm-game-of-life