Skip to content
View kheradmand's full-sized avatar
3 followers · 1 following
  • University of Illinois at Urbana-Champaign
  • USA

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report kheradmand

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

Pinned Loading

  1. kframework/p4-semantics Public

    Formal Semantics of P4 in K

    P4 20 3

  2. anime_public Public

    Automatic Network Intent Miner (Anime)

    C++ 7 3

  3. replaymop Public

    Deterministic replay of concurrent Java programs using monitoring oriented programming

    Java 3 4

  4. dslab-epfl/lockout Public

    A tool to increase the probability of deadlock occurrence

    Shell 1

  5. Break Public

    A compiler that breaks your code, or sort of!

    C

  6. carrillo-lipman-astar Public

    Implementation of the A* Algorithm with the Carillo-Lipman Heuristic for Multiple Sequence Alignment with SP-Score

    C++