Pinned Repositories
homebrew-cvc4
Homebrew formula for CVC4
jekyll
:globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby
Utterson
CI benchmarking suite for Jekyll
gbcamextract
Extracts photos from Game Boy Camera saves.
Computer-Architecture-and-Organization
Handouts used to tutor a course on Computer Architecture and Organization
jekyll-disqus-comments
A system for syncing Disqus comments to Jekyll
liquid-md5
A Liquid filter that outputs an MD5 hash
StarExec
StarExec is a cross community logic solving service
pathawks's Repositories
pathawks/liquid-md5
A Liquid filter that outputs an MD5 hash
pathawks/jekyll-disqus-comments
A system for syncing Disqus comments to Jekyll
pathawks/Embed-PDF
Adds pseudo oembed support for PDF documents to WordPress using Google Document Viewer
pathawks/Export-to-InDesign
Make WordPress the center of your digital newsroom. Allow reporters to print stories or export to InDesign, right inside the post editor.
pathawks/Christmas-Songs
Public Domain Christmas songs in ChordPro format
pathawks/podcast
Generate a podcast from a folder of MP3s
pathawks/asm-linux
pathawks/GDB2Script
Convert a text dump from GDB into a timed text for use with scriptreplay
pathawks/otpdec
One-Time Password decoder
pathawks/statusline.vim
My own Vim statusline
pathawks/cs4420-project
Using A* to solve 8 and 15 tile puzzles
pathawks/Castle
A C interpreter for the 1984 adventure game "Castle"
pathawks/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
pathawks/deephash
Script to hash every file in a directory tree
pathawks/dotfiles
my dotfiles
pathawks/DroPNGs
Inspect PNG chunks
pathawks/gbcamextract
Extracts photos from Game Boy Camera saves.
pathawks/graphs
Graphs that I have created
pathawks/jekyll-creativecommons
Easily publish a Jekyll site with a Creative Commons license
pathawks/jekyll-xmlify
Adds Jekyll filter to minify sections of XML
pathawks/kibana-demo
Generate logs for elasticsearch for a Kibana demo
pathawks/LLVM-Project
pathawks/log-colors
Colorize log messages
pathawks/mark-twain_the-adventures-of-tom-sawyer
Epub source for The Adventures of Tom Sawyer, by Mark Twain
pathawks/postlist
Adds shortcode `[postlist]` for embedding a list of posts into a page
pathawks/R-Demos
pathawks/Solving-the-Halting-Problem
pathawks/sudoku-smt
Exploring SMT solvers by solving Sudoku puzzles
pathawks/Technical-Showcase
Technical Showcase
pathawks/Test-Ivy-CVC4
Testing publishing CVC4 via Ivy