hai-nguyen-van/personal-homepage-travelog
:earth_americas: Fork of Travelog theme in Jekyll. Redesigned to fit with homepages.
Public GitHub Catalog
Discovered Oct 21, 2026
hai-nguyen-van / category-hol
:circus_tent::construction: Mechanization of Category Theory in Isabelle/HOL
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.
#42012088GitHub System ID
hai-nguyen-vanOrganization / User
PublicVisibility
ActiveCatalog Status
More from hai-nguyen-van
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
hai-nguyen-van/rctl-mc
:alarm_clock: Model-checker against CTL with rollback modalities over pushdown systems