Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@fsphys @coderdojoka

Popular repositories

  1. Syntax highlighting for BinPAC++/Spicy files (.pac2/.spicy) in Vim

    Vim script 2 3

  2. Provides a better interface to the electronic timetables of Karlsruhe's trams

    1

  3. Scripts on top of Packstack to install a test environment for OpenStack Trove

    Shell 1 2

  4. Forked from So-Cool/LaTeX-report-template-CERN

    Template in LaTeX for openlab Summer Student report at CERN

    TeX 1

  5. Line Editing, History and Basic Completion for CryptoVerif's Interactive Mode

    Makefile 1

  6. Nix expressions for Project Everest projects

    Nix 1 1

268 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2020

Created 3 commits in 1 repository
Created 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.