Skip to content
View aalok-thakkar's full-sized avatar

Achievements

Achievement: YOLOAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report aalok-thakkar

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. egs-artifact egs-artifact Public

    Lasso 2 1

  2. aalok-thakkar.github.io aalok-thakkar.github.io Public

    HTML

  3. simplified-list simplified-list Public

    C

  4. FreeRTOS FreeRTOS Public

    Forked from nchong-at-aws/FreeRTOS

    'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

    C

  5. benchmarks benchmarks Public

    Makefile

  6. popl2020-artifact popl2020-artifact Public

    Forked from petablox/popl2020-artifact

    Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.

    C++