tcsantini/neovim
vim for the 21st century
Developer Profile
tcsantini
Discovered public repositories for tcsantini in the GitHub catalog.
tcsantini/libplatsupport
OS independent basic driver library (mostly timers, serial, clocks)
tcsantini/seL4
The seL4 microkernel
tcsantini/masters-ti
Fork do template original do Grupo de Usuários de TeX da UFRGS
tcsantini/iiufrgs
latex templates for documents of INF/UFRGS
tcsantini/linaro_toolchain
Public repository.
tcsantini/android_build
Public repository.
tcsantini/android_kernel_samsung_aries
3.0.xx Kernel for Samsung Galaxy S series Phones
tcsantini/android_device_samsung_aries-common
Public repository.
tcsantini/habitrpg
A habit tracker app which treats your goals like a Role Playing Game.
tcsantini/linux-digilent
Linux Repository for digilent boards
tcsantini/try_git
Public repository.