Popular repositories Loading

1. writing writing Public

   Things I've written on politics, technology, and more.

   11

2. tapl tapl Public

   Companion materials for Ben Pierce's "Types and Programming Languages"

   OCaml 5

3. mpp mpp Public

   Scripts now, dotfiles later, use as you please.

   Shell 4

4. goosh goosh Public

   Automatically exported from code.google.com/p/goosh

   JavaScript 2

5. shiny_apps shiny_apps Public

   Forked from cpsievert/apps

   JavaScript 2

6. compiler-explorer-image compiler-explorer-image Public

   Forked from compiler-explorer/infra

   Setup for Amazon EC2 image to run a gcc explorer

   Shell 2