Achim D. Brucker adbrucker
seL4 specification and proofs
Updated 2024-01-27 14:09:40 +00:00
This is a graphical user interface for OFMC
Updated 2023-10-22 14:55:26 +00:00
Render Github issues as iCalendar feed
Updated 2023-08-30 08:55:27 +00:00
A LaTeX style for producing author self-archiving copies of (academic) papers.
Updated 2023-08-27 14:18:53 +00:00
A Collection of Isabelle Programming Hacks
Updated 2023-05-14 15:37:43 +00:00
This package is used to extract the revision and file information provided by the subversion revision control system.
Updated 2022-07-16 22:54:57 +00:00
LaTeX package extending Springer's llncs class.
Updated 2022-07-01 11:33:42 +00:00
A LaTeX class for writing (EPRSC) grant proposals.
Updated 2022-06-20 17:51:54 +00:00
Updated 2022-03-19 21:52:07 +00:00
Various LaTeX templates mimicking the cooperate guidelines of University of Exeter.
Updated 2022-03-13 22:05:58 +00:00
Collection of zsh plugins and themes for members of the logicalhacking team.
Updated 2021-08-20 21:35:35 +00:00
LaTeX styles implementing the cooperate style of logicalhacking.com.
Updated 2021-05-27 21:08:09 +00:00
Various LaTeX templates mimicking the cooperate guidelines of the The University of Sheffield.
Updated 2019-08-14 07:00:08 +00:00
LaTeX template mimicking the layout of the PowerPoint template for the OWASP AppSecEU 2018 conference in London.
Updated 2018-07-22 11:05:49 +00:00
LaTeX template mimicking the layout of the PowerPoint template for the OWASP AppSecEU 2017 conference in Belfast.
Updated 2018-07-22 11:04:29 +00:00