Skip to content
View pabloski80's full-sized avatar

Block or report pabloski80

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

6 results for source starred repositories written in TeX
Clear filter

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

TeX 11,408 619 Updated Nov 2, 2025

documentations, slides decks...

TeX 819 103 Updated May 4, 2024

My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.

TeX 159 17 Updated Oct 9, 2018

CHERI ISA Specification

TeX 24 9 Updated Oct 13, 2025

Temporal digital network analysis suite (scraping, data store, analysis, visualization)

TeX 9 3 Updated Jul 1, 2018

Operating system design course notes

TeX 2 Updated Nov 18, 2015