Pinned Loading

1. pcsptools pcsptools Public

   Tools for checking identities in polymorphism minions. Mostly.

   Python 9

2. thead thead Public

   A python script which produces LaTeX headers from yaml metadata for sumbmission to various CS conferences and journals (LIPIcs, ACM, etc.)

   Python 2

3. tmarko tmarko Public

   Hack of marko markdown parser for LaTeX output

   Python 1

4. empty-manuscript empty-manuscript Public template

   A template for a manuscript

   TeX 1