Lars Hupel

https://lars.hupel.info [email protected]

Giesecke+Devrient München evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”

Results 2 repositories owned by


                                            Lars Hupel

fizzbuzz-k8s

17

Stars

0

Forks

Watchers

FizzBuzz on k8s using ingress rules, because why not?

libisabelle

38

Stars

8

Forks

Watchers

A Scala library which talks to Isabelle (DISCONTINUED)