adbrucker

authorarchive

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

llncsconf

LaTeX package extending Springer's llncs class.

logicalhacking-latex

LaTeX styles implementing the cooperate style of logicalhacking.com.

tuos-latex

Various LaTeX templates mimicking the cooperate guidelines of The University of Sheffield.

appseceu2017-latex

LaTeX template mimicking the layout of the PowerPoint template for the OWASP AppSecEU 2017 conference in Belfast.

isabelle-hacks

A Collection of Isabelle Programming Hacks

omg-latex

A simple LaTeX class/style that mimics the layout of OMG's UML standards in general and the OCL standard in particular.

unsanitize-safelinks

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

scholar-kpi

A tool for analysing publication related key performance indicates (KPIs) based on the information available at the Google Scholar page of an author.

su4sml

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

uoe-latex

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

appseceu2018-latex

autorandr

Auto-detect the connect display hardware and load the appropriate X11 setup using xrandr

code_comment

extracts comments from your source code (pip install code_comment)

epsrc

A LaTeX class for writing (EPRSC) grant proposals.

gitx-ics

Render Github issues as iCalendar feed

lh-l4v

seL4 specification and proofs

logicalhacking-zsh

Collection of zsh plugins and themes for members of the logicalhacking team.

OBS-captions-plugin

Closed Captioning OBS plugin using Google Speech Recognition

ofmc-ui-ng

This is a graphical user interface for OFMC

owasp-summit-2017

Content for OWASP Summit 2017 site

svninfo

LaTeX package for extracting subversion (svn) revision information.

thesis