Skip to content
View sulzmann's full-sized avatar

Block or report sulzmann

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. Chameleon Chameleon Public

    Typing and type error diagnosis with Constraint Handling Rules

    6 2

  2. AutonomeSysteme AutonomeSysteme Public

    Autonome Systeme Unterlagen

    HTML 5 1

  3. SoftwareProjekt SoftwareProjekt Public

    HTML 2 2

  4. ProgrammingParadigms ProgrammingParadigms Public

    Programming paradigm notes

    HTML 2 3

  5. PEPM19-supplementary-material PEPM19-supplementary-material Public

    PEPM19 supplementary material (Haskell code)

    Haskell 1

  6. SummerSchoolSept19 SummerSchoolSept19 Public

    HTML 1