datenwolf/klib
A standalone and lightweight C library
Public GitHub Catalog
Discovered Oct 1, 2026
datenwolf / seL4
The seL4 microkernel
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.
#22375933GitHub System ID
datenwolfOrganization / User
PublicVisibility
ActiveCatalog Status
More from datenwolf
datenwolf/bandplan
Ham Radio Bandplans
datenwolf/libgbm
Public repository.
datenwolf/kmscube
example gl app using kms/gbm