Popular repositories Loading

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