computersforpeace/linux-mtd
Public repository.
Public GitHub Catalog
Discovered Sep 27, 2026
computersforpeace / model-checker
CDSChecker: A Model Checker for C11 and C++11 Atomics
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#10413969GitHub System ID
computersforpeaceOrganization / User
PublicVisibility
ActiveCatalog Status
More from computersforpeace
computersforpeace/bbb-floppy
Floppy Drive Music for the BeagleBone Black
computersforpeace/model-checker-benchmarks
CDSChecker benchmark suite
computersforpeace/uci-thesis-latex
LaTeX template for thesis and dissertation documents at UC Irvine