tcsantini/dosek
dOSEK - A Dependability Oriented Static Embedded Kernel
Public GitHub Catalog
Discovered Oct 1, 2026
tcsantini / iiufrgs
latex templates for documents of INF/UFRGS
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.
#21398917GitHub 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