Skip to content
View ankushdesai's full-sized avatar
55 followers · 19 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Organizations

@p-org @Drona-Org
Block or Report

Block or report ankushdesai

Report abuse

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

Report abuse

Pinned Loading

  1. Drona-Org/Drona-DMR Drona-Org/Drona-DMR Public

    Drona framework used for build distributed robotics systems

    C 6 1

  2. ZingModelChecker/Zing ZingModelChecker/Zing Public

    Zing : An explicit state model checker for concurrent and message passing programs.

    C# 16 1

  3. Drona-Org/Drona Drona-Org/Drona Public

    Drona is a programming framework for building safe robotics systems

    C++ 29 9

  4. awslabs/aws-soter awslabs/aws-soter Public

    Model Checker for Java Programs

    Java 5 1