Popular repositories

1. gbr gbr Public

   Switch git branch interactively, using arrow keys

   TypeScript 6

2. paper-gamification-website paper-gamification-website Public

   Corresponding rails website to render the stats calculated by the python script at "paper-gamification"

   Ruby 4 3

3. active-app-tracker active-app-tracker Public

   A small python daemon for Mac OS X, to see how much time you spend on which application.

   3

4. paper-gamification paper-gamification Public

   A tool to help you write a paper

   Python 3 2

5. latex-correlations-matrix latex-correlations-matrix Public

   Transform a correlation matrix to a colored latex table

   Python 3

6. paragliding-questions-to-anki paragliding-questions-to-anki Public

   Script that converts DHV theory questions to an Anki deck.

   JavaScript 2