Andrew Hirsch's repositories
bibliography
A master bibliography for my academic work
choreography-bibliography
A bibliography of choreographic languages
acmart
ACM consolidated LaTeX styles
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
professional-page
My professional webpage. It's published as a static site by Github, written in Hakyll.
akhirsch.github.io
My personal website
CoqBase
A wrapper around some Coq standard library files with additional things I keep wanting.
EGLPLS2019
Eastern Great Lakes Programming Languages and Systems Symposium 2019
2017sp-web
CS 6110
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
dataproductors
A Productors library for Haskell, based on http://www.cs.cornell.edu/~ross/publications/productors/.
karmabot
All your ++ and --
quotebot
A quote bot for the Cornell CIS slack
cs-quotes
The server-side code for the CS department quotes website, quotes.cs.cornell.edu
composite-langs
Language design for the composite operating system, using the Pony compiler.
CompositeOS_Project
Project for GWU's OS Class implementing fork