Skip to content
View Calin-Teodorescu's full-sized avatar
0 followers · 6 following
Block or Report

Block or report Calin-Teodorescu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories

  1. powerquery-docs powerquery-docs Public

    Forked from MicrosoftDocs/powerquery-docs

    Documentation for Power Query

    PowerShell 1

  2. azure-docs azure-docs Public

    Forked from MicrosoftDocs/azure-docs

    Open source documentation of Microsoft Azure

    PowerShell 1

  3. documentdb-postman-collection documentdb-postman-collection Public

    Forked from Aionsphere/cosmosdb-postman-collection

    Postman collection demonstrating REST access for DocumentDB

    1

  4. VCSamples VCSamples Public

    Forked from microsoft/VCSamples

    Samples for VC++

    C++ 1

  5. Distributed-Termination-Detection-on-a-Ring Distributed-Termination-Detection-on-a-Ring Public

    Forked from lemmy/ewd998

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

    TLA 1

  6. tlaplus tlaplus Public

    Forked from tlaplus/tlaplus

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

    Java