jez

vim-as-an-ide

Workshop on how to use Vim Plugins.

stargaze

:star: Gaze at repos you've starred

resume

My resume, written in XeTeX.

cmd-queue

A simple queueing service for CMU students.

tsim

A Turing machine simulator in SML

auditors-webhook

Post commit review using Auditors

doctoc

Generates table of contents for markdown files inside local git repository. Links are compatible with anchors generated by github or other sites.

hotc

Course notes from 15-417 HOT Compilation

hotcompilation

Notes for 15-417 (Higher Order Typed Compilation)

jquery-lab

Simple game demo in jQuery to demonstrate some principles of frontend development.

language-communities-on-github

penndot-dash

A dashboard I designed for one of my class projects

abbot

Generation of abstract binding trees

agate-sql

agate-sql adds SQL read/write support to agate.

anchor-markdown-header

Generates an anchor for a markdown header.

complex-coordinates

A short example showing off the expression problem in Haskell

csvkit

A suite of utilities for converting to and working with CSV, the king of tabular file formats.

fzf

:cherry_blossom: A command-line fuzzy finder written in Go

hub

hub helps you win at git.

js-intro

mlton

The MLton repository

monk

pandoc-templates

Templates for pandoc

pure

Pretty, minimal and fast ZSH prompt

purescript-csv

Simple PureScript CSV parser

purescript-d3v4

Starting from scratch to wrap D3v4

vim-airline-themes

A collection of themes for vim-airline

vim-pandoc

pandoc integration and utilities for vim

vimroom

Simulating a vaguely WriteRoom-like environment in Vim.

wdw

A weekend packed with web development workshops.