Pat Hawks's repositories
Christmas-Songs
Public Domain Christmas songs in ChordPro format
auto-reply
:loop: Handle GitHub webhooks and manage issues on your repositories. Currently runs @jekyllbot.
statusline.vim
My own Vim statusline
gaohaoyang.github.io
blog & blog theme🤘
homebrew-core
🍻 Default formulae for the missing package manager for macOS
homebrew-cvc4
Homebrew formula for CVC4
jekyll-octopod.github.io.source
Sources for jekyll-octopod.github.io
jekyll-seo-tag
A Jekyll plugin to add metadata tags for search engines and social networks to better index and display your site's content.
kibana-demo
Generate logs for elasticsearch for a Kibana demo
llvm_bc_parsing_example
An LLVM bitcode parsing example
log-colors
Colorize log messages
sudoku-smt
Exploring SMT solvers by solving Sudoku puzzles
Technical-Showcase
Technical Showcase