sdicken/seL4
The seL4 microkernel
Public GitHub Catalog
Discovered Oct 1, 2026
sdicken / cecs564_p1
Public repository discovered through GitHub real-time crawl.
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.
#20367408GitHub System ID
sdickenOrganization / User
PublicVisibility
ActiveCatalog Status
More from sdicken
sdicken/fantasy-football-ocoordinator
A web scraping and analysis project to aid a research project about NFL offensive coordinators and team tendencies.
sdicken/cecs566_tth
Toy tetragram hash solver
sdicken/arrow-android
An Android app designed by University of Louisville students for Arrow Food Couriers