The Wayback Machine - https://web.archive.org/web/20211209095532/https://github.com/lemmy
Skip to content
Avatar
132 followers · 3 following · 171

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

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 Public

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

    Java 1.6k 133

  2. tlaplus/CommunityModules Public

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

    TLA 157 22

  3. BlockingQueue Public

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

    TLA 373 15

  4. ewd998 Public

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

    TLA 29 8

  5. lets-prove-blocking-queue Public

    Proving a blocking queue deadlock free in a dozen different ways

    Dafny 34 4

  6. AsyncGameOfLife Public

    Forked from mryndzionek/tlaplus_specs

    Asynchronous variant of Conway's Game of Life in TLA+

    TLA 2

8,142 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

December 2021

Created 11 commits in 3 repositories
Opened 1 pull request in 1 repository