Skip to content
View adbrucker's full-sized avatar

Organizations

@logicalhacking

Block or report adbrucker

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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