Block or Report
Block or report alexkrauss
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
supervisor-dispatcher
supervisor-dispatcher Public archiveWork towards a dispatcher for distributed supervisor instances
Python
-
isabelle-zf-experiments
isabelle-zf-experiments PublicOUTDATED: See now https://bitbucket.org/cezaryka/tyset/ for newer experiment with soft types in Isabelle.
Isabelle
-
research-homepage
research-homepage PublicHomepage content published at https://www21.in.tum.de/~krauss
HTML
-
isabelle-dev-docker
isabelle-dev-docker PublicA docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
Dockerfile 1
-
monad_examples
monad_examples PublicExample code for my talk "Monads for the working software engineer"
Kotlin
-
If the problem persists, check the GitHub status page or contact support.