hai-nguyen-van/category-hol
:circus_tent::construction: Mechanization of Category Theory in Isabelle/HOL
Public GitHub Catalog
Discovered Oct 6, 2026
hai-nguyen-van / enigma
:lock_with_ink_pen: The Wehrmacht Enigma I machine in functional-style
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.
#31201522GitHub 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/rctl-mc
:alarm_clock: Model-checker against CTL with rollback modalities over pushdown systems