Skip to content
View qhr961217-CMU's full-sized avatar
3 followers · 2 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report qhr961217-CMU

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. 2PC-FSP 2PC-FSP Public

    Two-Phase Commit Analysis with FSP

    2 2

  2. CAtS CAtS Public

    Forked from hyasar/CAtS

    Continuous Authorization throughout the Software development lifecycle

    HTML 2 1

  3. hyasar/CAtS hyasar/CAtS Public

    Continuous Authorization throughout the Software development lifecycle

    HTML 1 3

  4. Software-Systems-Models Software-Systems-Models Public

    Projects for the course 17-651 Models of Software Systems.

    TeX

  5. LTSA-Robust LTSA-Robust Public

    Forked from cmu-soda/Robustness

    Kotlin