hai-nguyen-van/category-hol
:circus_tent::construction: Mechanization of Category Theory in Isabelle/HOL
Public GitHub Catalog
Discovered Oct 3, 2026
hai-nguyen-van / thinkpad-x1
:floppy_disk: Scripts and UX tips to enhance a Ubuntu 12.04 LTS on a ThinkPad X1 machine
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.
#28058908GitHub System ID
hai-nguyen-vanOrganization / User
PublicVisibility
ActiveCatalog Status
More from hai-nguyen-van
hai-nguyen-van/personal-homepage-travelog
:earth_americas: Fork of Travelog theme in Jekyll. Redesigned to fit with homepages.
hai-nguyen-van/m17n-im-shortname-unicode-emoji
:fire: An input method for Unicode Emoji using shortnames
hai-nguyen-van/enigma
:lock_with_ink_pen: The Wehrmacht Enigma I machine in functional-style