Skip to content
View shoaibCS's full-sized avatar

Block or report shoaibCS

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 Loading

  1. OCCAM OCCAM Public

    Forked from SRI-CSL/OCCAM

    OCCAM: Object Culling and Concretization for Assurance Maximization

    C++

  2. OCCAM-Benchmarks OCCAM-Benchmarks Public

    Forked from SRI-CSL/OCCAM-Benchmarks

    Each benchmark specializes a set of applications with OCCAM.

    Python

  3. TRIMMER-applications TRIMMER-applications Public

    1

  4. linux-0.01 linux-0.01 Public

    Forked from zavg/linux-0.01

    Historically first (actually 0.01) release of linux kernel made by Linus Torvalds

    C

  5. blog_os blog_os Public

    Forked from phil-opp/blog_os

    Writing an OS in Rust

    HTML

  6. distrubuted_agent_planning distrubuted_agent_planning Public

    Forked from zilmano/distrubuted_agent_planning

    C++