c
computersforpeace
27 repositories
23 followers
Repositories
Select a repository to view its commits, contributors, and more.public
model-checker
CDSChecker: A Model Checker for C11 and C++11 Atomics
C++
28
9
1
Updated a month ago
public
model-checker-benchmarks
CDSChecker benchmark suite
C
6
2
0
Updated 3 years ago
public
linux-mtd
C
1
0
0
Updated 5 days ago
public
bbb-floppy
Floppy Drive Music for the BeagleBone Black
C
0
0
0
Updated 11 years ago
public
UBIFS-backports
UBIFS backports, for infradead.org
C
0
0
0
Updated 11 years ago
public
patchwork
Python
0
0
0
Updated 10 years ago
public
ghostpdl
C
0
0
0
Updated 9 years ago