Skip to content
View alexkrauss's full-sized avatar

Block or report alexkrauss

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. supervisor-dispatcher supervisor-dispatcher Public archive

    Work towards a dispatcher for distributed supervisor instances

    Python

  2. isabelle-zf-experiments isabelle-zf-experiments Public

    OUTDATED: See now https://bitbucket.org/cezaryka/tyset/ for newer experiment with soft types in Isabelle.

    Isabelle

  3. research-homepage research-homepage Public

    Homepage content published at https://www21.in.tum.de/~krauss

    HTML

  4. isabelle-dev-docker isabelle-dev-docker Public

    A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)

    Dockerfile 1

  5. monad_examples monad_examples Public

    Example code for my talk "Monads for the working software engineer"

    Kotlin

  6. alexkrauss.github.io alexkrauss.github.io Public

    HTML