Skip to content
View lemmy's full-sized avatar
237 followers · 0 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Organizations

@ECF @tlaplus
Block or Report

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 Microsoft on TLA+.

Anurag's github stats

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 2.3k 192

  2. tlaplus/CommunityModules tlaplus/CommunityModules Public

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

    TLA 265 37

  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 483 21

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

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

    TLA 47 47

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

    Proving a blocking queue deadlock free in a dozen different ways

    Dafny 41 5

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

    TLA+ language support for Visual Studio Code

    TypeScript 340 29