hai-nguyen-van/category-hol
:circus_tent::construction: Mechanization of Category Theory in Isabelle/HOL
Developer Profile
hai-nguyen-van
Discovered public repositories for hai-nguyen-van in the GitHub catalog.
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
hai-nguyen-van/rctl-mc
:alarm_clock: Model-checker against CTL with rollback modalities over pushdown systems
hai-nguyen-van/cstheory-cheat-sheets
:bulb: Set of cheat sheets for Theoretical Computer Science
hai-nguyen-van/mono-dark-flattr-icons
:art: Mono Dark Flattr is a fork of NitruxSA Flattr icon theme for Linux desktops that aims to combine the latest flat design trend with Ubuntu Ambiance/Mono Dark theme.
hai-nguyen-van/thinkpad-x1
:floppy_disk: Scripts and UX tips to enhance a Ubuntu 12.04 LTS on a ThinkPad X1 machine
hai-nguyen-van/ipgp-dtft
:satellite: DTFT-based spectrum analyzer
hai-nguyen-van/ipgp-pratham-daq-collection
:rocket: Data acquisition tools for Pratham satellite ground station at IPGP
hai-nguyen-van/ipgp-pratham-docs
:closed_book: IPGP's Pratham satellite ground station software system documentation