gilhooleyd Goto Github PK

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

conquest

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

deejcoin

dotfiles

My Unix dotfiles and a helpful Makefile to install them

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

pious

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

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

verified-boot-senior-thesis

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

viking

Code for The Viking Chartboat website

wasm-game-of-life