Pinned Loading

1. isabelle-hacks isabelle-hacks Public

   A Collection of Isabelle Programming Hacks

   Standard ML 2 1

2. authorarchive authorarchive Public

   A LaTeX style for producing author self-archiving copies of (academic) papers.

   TeX 10 2

3. llncsconf llncsconf Public

   LaTeX package extending Springer's llncs class.

   TeX 4 1

4. su4sml su4sml Public

   su4sml - a SML repository for managing (Secure)UML/OCL models

   Standard ML 1

5. uoe-latex uoe-latex Public

   Various LaTeX templates mimicking the cooperate guidelines of the University of Exeter.

   TeX

6. unsanitize-safelinks unsanitize-safelinks Public

   A small tool for unsanitizing Microsoft's safelinks, revealing the orginal URL without contacting Microsoft's servers.

   Python 2 1