Pinned Repositories
6DOF_processing_tutorial
Tutorial on seismological processing of six-component data
category-hol
:circus_tent::construction: Mechanization of Category Theory in Isabelle/HOL
enigma
:lock_with_ink_pen: The Wehrmacht Enigma I machine in functional-style
ipgp-dtft
:satellite: DTFT-based spectrum analyzer
ipgp-pratham-daq-collection
:rocket: Data acquisition tools for Pratham satellite ground station at IPGP
m17n-im-shortname-unicode-emoji
:fire: An input method for Unicode Emoji using shortnames
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.
tezos-k8s
thinkpad-x1
:floppy_disk: Scripts and UX tips to enhance a Ubuntu 12.04 LTS on a ThinkPad X1 machine
heron
🏺 Simulation Solver for Timed Causality Models in TESL
hai-nguyen-van's Repositories
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/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/thinkpad-x1
:floppy_disk: Scripts and UX tips to enhance a Ubuntu 12.04 LTS on a ThinkPad X1 machine
hai-nguyen-van/category-hol
:circus_tent::construction: Mechanization of Category Theory in Isabelle/HOL
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/tezos-k8s
hai-nguyen-van/6DOF_processing_tutorial
Tutorial on seismological processing of six-component data
hai-nguyen-van/cstheory-cheat-sheets
:bulb: Set of cheat sheets for Theoretical Computer Science
hai-nguyen-van/ED247_LIBRARY
Example of ED-247 standard implementation
hai-nguyen-van/ipgp-pratham-docs
:closed_book: IPGP's Pratham satellite ground station software system documentation
hai-nguyen-van/lri-beamer-theme
:bowtie: Unofficial LRI/Université Paris-Sud Beamer Theme
hai-nguyen-van/lri-business-cards
:tophat: Unofficial LRI/Université Paris-Sud Business Cards
hai-nguyen-van/lustre-v4-docker
Docker container for the Lustre V4 programming language
hai-nguyen-van/mlton
The MLton repository
hai-nguyen-van/personal-homepage-travelog
:earth_americas: Fork of Travelog theme in Jekyll. Redesigned to fit with homepages.
hai-nguyen-van/rctl-mc
:alarm_clock: Model-checker against CTL with rollback modalities over pushdown systems