Skip to content
View lemmy's full-sized avatar
327 followers · 1 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Organizations

@ECF @tlaplus

Block or report lemmy

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lemmy/README.md

💻 Working as a Software Engineer at Nvidia on TLA+.

Pinned Loading

  1. tlaplus/tlaplus tlaplus/tlaplus Public

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

    Java 3k 263

  2. tlaplus/CommunityModules tlaplus/CommunityModules Public

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

    TLA 315 48

  3. BlockingQueue BlockingQueue Public

    Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

    TLA 506 22

  4. tlaplus-workshops/ewd998 tlaplus-workshops/ewd998 Public

    Distributed termination detection on a ring, due to Shmuel Safra:

    TLA 54 45

  5. lets-prove-blocking-queue lets-prove-blocking-queue Public

    Proving a blocking queue deadlock free in a dozen different ways

    Dafny 45 5

  6. tlaplus/vscode-tlaplus tlaplus/vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 433 50