Markus Alexander Kuppe's repositories
BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
vscode-tlaplus
TLA+ language support for Visual Studio Code
aici
AI Controller Interface
ansi-to-react
:guardsman: ANSI to React
azure-docs
Open source documentation of Microsoft Azure
ccf-app-samples
Sample applications for the Confidential Consortium Framework (CCF)
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
debug-adapter-protocol
Defines a common protocol for debug adapters.
everparse
Automated generation of provably secure, zero-copy parsers from format specifications
FMLangStats
Github Language Statistics
lemmy.github.io
My personal blog hosted at https://www.lemmster.de
P
The P programming language.
raft
Raft library for maintaining a replicated state machine
tla-apalache-workshop
Material for a workshop on Apalache and TLA+. To be populated with more examples.
tla-linearizability
Reading the linearizability paper with TLA+
tree-sitter-wasms
Prebuilt WASM binaries for tree-sitter's language parsers.
wireshark
Read-only mirror of Wireshark's Git repository at https://gitlab.com/wireshark/wireshark. ⚠️ GitHub won't let us disable pull requests. ⚠️ THEY WILL BE IGNORED HERE ⚠️ Upload them at GitLab instead.
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver