Skip to content
View zwergziege's full-sized avatar
1 follower · 1 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report zwergziege

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

  1. Basic-SS15 Basic-SS15 Public

    C++

  2. sweb sweb Public

    Forked from IAIK/sweb

    SWEB Educational OS

    C++

  3. krautkoopf_lieferscraping krautkoopf_lieferscraping Public

    Forked from twothreenine/krautkoopf_lieferscraping

    Automated import of supplier's articles to Foodsoft

    Python

  4. tlaplus tlaplus Public

    Forked from tlaplus/tlaplus

    TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    Java

  5. CommunityModules CommunityModules Public

    Forked from tlaplus/CommunityModules

    TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

    TLA

  6. Appendix-for-Modeling-and-Formal-Verification-of-Programming-Languages-using-TLA Appendix-for-Modeling-and-Formal-Verification-of-Programming-Languages-using-TLA Public

    TLA+ specifications related to the masters thesis "Modeling and Formal Verification of Programming Languages using TLA+"

    TLA