sarnold/Exaile-Soundmenu-Indicator
Devel fork of devel fork. Isn't Open Source the hippy-dippy-coolest thing ever?
Public GitHub Catalog
Discovered Oct 21, 2026
sarnold / cbmc
CBMC is a Bounded Model Checker for C and C++ programs.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#41983579GitHub System ID
sarnoldOrganization / User
PublicVisibility
ActiveCatalog Status
More from sarnold
sarnold/exaile
Cross-platform music player
sarnold/gentoo-oldish
Working fork of the official mirror the Gentoo ebuild repository (now in true git!)
sarnold/urt
Utah Raster Toolkit