Pinned Repositories
ctypesgen
Pure-python wrapper generator for ctypes
AALpy
An Automata Learning Library Written in Python
AALpy
An Active Automata Learning Library Written in Python
Appendix-for-Modeling-and-Formal-Verification-of-Programming-Languages-using-TLA
TLA+ specifications related to the masters thesis "Modeling and Formal Verification of Programming Languages using TLA+"
Basic-SS15
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
ctypesgen
Pure-python wrapper generator for ctypes
krautkoopf_lieferscraping
Automated import of supplier's articles to Foodsoft
sweb
SWEB Educational OS
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
zwergziege's Repositories
zwergziege/AALpy
An Active Automata Learning Library Written in Python
zwergziege/Appendix-for-Modeling-and-Formal-Verification-of-Programming-Languages-using-TLA
TLA+ specifications related to the masters thesis "Modeling and Formal Verification of Programming Languages using TLA+"
zwergziege/Basic-SS15
zwergziege/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
zwergziege/ctypesgen
Pure-python wrapper generator for ctypes
zwergziege/krautkoopf_lieferscraping
Automated import of supplier's articles to Foodsoft
zwergziege/sweb
SWEB Educational OS
zwergziege/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.