Brian Norris's repositories
model-checker
CDSChecker: A Model Checker for C11 and C++11 Atomics
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 here. They will be merged via staging trees then into openwrt.git. All issues should be reported at: https://bugs.openwrt.org
model-checker-benchmarks
CDSChecker benchmark suite
bbb-floppy
Floppy Drive Music for the BeagleBone Black
chrome-ext-wicked-good-unarchiver
Fork of ZIP Unpacker to support more formats
chromeos
Linux kernel source tree
chromeos-yocto-manifest
Repo tool manifests for the proof-of-concept building ChromeOS with Yocto Project/OpenEmbedded
corp-speak-detector
A simple web page that detects corporate speak in a text and assigns a score
cups
Official CUPS Sources
gentoo
The official mirror the Gentoo ebuild repository
iputils
The iputils package is set of small useful utilities for Linux networking.
libva-utils
Libva-utils is a collection of tests for VA-API (VIdeo Acceleration API)
ltp
Linux Test Project http://linux-test-project.github.io/
meta-chromeos
Proof-of-concept layers to build ChromeOS with Yocto Project/OpenEmbedded
packages
Community maintained packages for OpenWrt. Documentation for submitting pull requests is in CONTRIBUTING.md
pianobar
Console-based pandora.com player
review-o-matic
Ensure UPSTREAM labeled patches are equal to their upstream counterpart
rmtfs
Qualcomm Remote Filesystem Service Implementation
UBIFS-backports
UBIFS backports, for infradead.org
uci-thesis-latex
LaTeX template for thesis and dissertation documents at UC Irvine