sdicken/seL4
The seL4 microkernel
Public GitHub Catalog
Discovered Sep 26, 2026
sdicken / secret-archer
Robotium testing for Lexmark Mobile Print App
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.
#6672959GitHub 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/cecs564_p1
Public repository.