Markus Alexander Kuppe (lemmy)

lemmy

Geek Repo

Company:@microsoft

Location:Redmond, USA

Home Page:lemmster.de

Twitter:@lemmster

Github PK Tool:Github PK Tool


Organizations
ECF
tlaplus

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!

Language:TLALicense:MITStargazers:475Issues:13Issues:5

ewd998

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

Language:TLALicense:MITStargazers:40Issues:5Issues:5

vscode-tlaplus

TLA+ language support for Visual Studio Code

Language:TypeScriptLicense:MITStargazers:4Issues:2Issues:7
Language:TLALicense:MITStargazers:2Issues:2Issues:0
Language:TLALicense:MITStargazers:1Issues:3Issues:0

aici

AI Controller Interface

Language:RustLicense:MITStargazers:0Issues:0Issues:0

ansi-to-react

:guardsman: ANSI to React

Language:TypeScriptStargazers:0Issues:0Issues:0

azure-docs

Open source documentation of Microsoft Azure

Language:PowerShellLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

CCF

Confidential Consortium Framework

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

ccf-app-samples

Sample applications for the Confidential Consortium Framework (CCF)

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

CommunityModules

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

Language:TLALicense:MITStargazers:0Issues:1Issues:0

debug-adapter-protocol

Defines a common protocol for debug adapters.

License:NOASSERTIONStargazers:0Issues:1Issues:0
Language:TLALicense:MITStargazers:0Issues:1Issues:0

endive

Tool for inferring inductive invariants of protocols specified in TLA+.

Language:TLAStargazers:0Issues:1Issues:0

everparse

Automated generation of provably secure, zero-copy parsers from format specifications

Language:F*License:Apache-2.0Stargazers:0Issues:0Issues:0

Examples

A collection of TLA+ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:0Issues:1Issues:0

FMLangStats

Github Language Statistics

Language:JavaScriptLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

lemmy.github.io

My personal blog hosted at https://www.lemmster.de

Language:HTMLStargazers:0Issues:3Issues:0
License:MITStargazers:0Issues:0Issues:0

P

The P programming language.

License:MITStargazers:0Issues:0Issues:0

raft

Raft library for maintaining a replicated state machine

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tla-apalache-workshop

Material for a workshop on Apalache and TLA+. To be populated with more examples.

License:Apache-2.0Stargazers:0Issues:1Issues:0

tla-ci

TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).

Language:TLALicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

tla-linearizability

Reading the linearizability paper with TLA+

Language:TLALicense:Apache-2.0Stargazers:0Issues:2Issues:0

tla-web

TLA+ Web Explorer Prototype

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

tlaplus

PRIVATE mirror of https://github.com/tlaplus/tlaplus/ - I rewrite history!

Language:JavaLicense:MITStargazers:0Issues:4Issues:0

tlapm

The TLA Proof Manager

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

tree-sitter-wasms

Prebuilt WASM binaries for tree-sitter's language parsers.

Language:TypeScriptLicense:UnlicenseStargazers:0Issues:0Issues:0

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.

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

z3_tutorial

Jupyter notebooks for tutorial on the Z3 SMT solver

Language:Jupyter NotebookStargazers:0Issues:1Issues:0