-
Dotfiles Public
My Unix dotfiles and a helpful Makefile to install them
-
shadertoy-app Public
Simple android app that can run a shadertoy program on vulkan
C++ UpdatedNov 26, 2025 -
-
-
-
-
-
-
obsidian-chess-study Public
Forked from chrislicodes/obsidian-chess-studyA chess study helper and PGN viewer/editor for Obsidian.
TypeScript GNU General Public License v3.0 UpdatedJul 27, 2024 -
-
engine Public
Forked from flutter/engineThe Flutter engine
C++ BSD 3-Clause "New" or "Revised" License UpdatedMar 13, 2024 -
-
itertools Public
Forked from rust-itertools/itertoolsExtra iterator adaptors, iterator methods, free functions, and macros.
Rust Apache License 2.0 UpdatedOct 8, 2023 -
-
pokemon-sqlite-wasm Public
Use a wasm SQLite database to display pokemon information
HTML MIT License UpdatedDec 12, 2021 -
-
-
PIOUS Public
An Operating System framework for the Rbpi2 and Qemu x86 emulation.
-
Verified-Boot-Senior-Thesis Public
My senior thesis: Verified/Secure Boot: Formal Verification Checking of Firmware and Hardware in a large SoC
-
CBMC-Vboot Public
This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library
-
ILA Public
Forked from PrincetonUniversity/ILAngInstruction-Level Abstraction
HTML UpdatedMar 7, 2017 -
so-simple-theme Public
Forked from mmistakes/so-simple-theme🎨 A simple and clean responsive Jekyll theme for words and photos.
JavaScript MIT License UpdatedOct 12, 2016 -
mediator Public
Forked from dirkfabisch/mediatora medium inspired jekyll theme
HTML Other UpdatedJun 26, 2016 -
openstates Public
Forked from openstates/openstates-scraperssource for Open States' scrapers
Python UpdatedMar 24, 2016 -
billy Public
Forked from openstates/billyscraping, storing, and sharing legislative information
Python BSD 3-Clause "New" or "Revised" License UpdatedNov 18, 2015 -
freeboard Public
Forked from Freeboard/freeboardA damn-sexy, open source real-time dashboard builder for IOT and other web mashups. A free open-source alternative to Geckoboard.
JavaScript MIT License UpdatedJul 16, 2015 -
conquest Public
A city building game. Made to practice javascript, html5, and meteor
JavaScript UpdatedMay 16, 2015 -
-
-
{{ message }}