Skip to content
View computersforpeace's full-sized avatar

Block or report computersforpeace

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. model-checker model-checker Public

    CDSChecker: A Model Checker for C11 and C++11 Atomics

    C++ 26 7

  2. openwrt openwrt Public

    Forked from openwrt/openwrt

    This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests…

    C 9 1

  3. model-checker-benchmarks model-checker-benchmarks Public

    CDSChecker benchmark suite

    C 6 2

  4. meta-chromeos meta-chromeos Public

    Forked from konsulko/meta-chromeos

    Proof-of-concept layers to build ChromeOS with Yocto Project/OpenEmbedded

    BitBake 1 1

  5. chromeos chromeos Public

    Forked from torvalds/linux

    Linux kernel source tree

    C

  6. UBIFS-backports UBIFS-backports Public

    UBIFS backports, for infradead.org

    C