tcsantini/dosek
dOSEK - A Dependability Oriented Static Embedded Kernel
Public GitHub Catalog
Discovered Oct 1, 2026
tcsantini / 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.
#22380603GitHub System ID
tcsantiniOrganization / User
PublicVisibility
ActiveCatalog Status
More from tcsantini
tcsantini/linux-xlnx
The official Linux kernel from Xilinx
tcsantini/workrave
Workrave is a program that assists in the recovery and prevention of Repetitive Strain Injury (RSI). The program frequently alerts you to take micro-pauses, rest breaks and restricts you to your daily limit.
tcsantini/neovim
vim for the 21st century