Popular repositories

1. model-checker model-checker Public

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

   C++ 21 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