Achim D. Brucker (@adbrucker)
github

adbrucker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 491,990 (Top 17 %)
  • Followers 36
  • Following 4
  • Registered over 10 years ago
  • Most used languages
    TeX
         60.0 %
    Standard ML     20.0 %
    HTML
         10.0 %
    Python
         10.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 18,880
  • Country Ranking
    Standard ML     14
    TeX
         149
    HTML
         8,039

Top repositories

1

authorarchive

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

llncsconf

LaTeX package extending Springer's llncs class.
TeX
4
star
3

logicalhacking-latex

LaTeX styles implementing the cooperate style of logicalhacking.com.
TeX
4
star
4

tuos-latex

Various LaTeX templates mimicking the cooperate guidelines of The University of Sheffield.
TeX
3
star
5

isabelle-hacks

A Collection of Isabelle Programming Hacks
Standard ML
2
star
6

unsanitize-safelinks

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

appseceu2017-latex

LaTeX template mimicking the layout of the PowerPoint template for the OWASP AppSecEU 2017 conference in Belfast.
TeX
2
star
8

omg-latex

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

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.
HTML
1
star
10

su4sml

su4sml - a SML repository for managing (Secure)UML/OCL models
Standard ML
1
star