Andrew Hirsch's repositories
CompositeOS_Project
Project for GWU's OS Class implementing fork
2017sp-web
CS 6110
akhirsch.github.io
My personal website
bibliography
A master bibliography for my academic work
choreography-bibliography
A bibliography of choreographic languages
composite-langs
Language design for the composite operating system, using the Pony compiler.
CoqBase
A wrapper around some Coq standard library files with additional things I keep wanting.
cs-quotes
The server-side code for the CS department quotes website, quotes.cs.cornell.edu
dataproductors
A Productors library for Haskell, based on http://www.cs.cornell.edu/~ross/publications/productors/.
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
EGLPLS2019
Eastern Great Lakes Programming Languages and Systems Symposium 2019
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.
quotebot
A quote bot for the Cornell CIS slack