Popular repositories

1. dotfiles Public

   aka my config files for linux, WSL, etc

   Shell 4 1

2. instructiongraphs Public

   A formalization of instruction graphs as defined in https://www.cs.cmu.edu/~mmv/papers/14aamas-MericliEtAl.pdf, with an interpreter to boot.

   TeX 1 2

3. githw8 Public

   PR (pull request) this repository for homework 8

   1 14

4. rebase-harder Public

   Forked from bkase/rebase-harder

   A harder rebase homework

5. webdevblog Public

   a simple flask blog

   CSS

6. crashdevblog Public

   another simple Flask blog, this time with AJAX

   JavaScript