huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam
Pinned Repositories
buihienify
contrasleuth
Consider it an experiment. A wild experiment.
CoqCP
We combat sloppy arguments in competitive programming and raise the standard of rigor
Crusgkeo
candy crush clone for OOP course. unlikely to be interesting, but the repo is public nonetheless
gym-aug-23-2022
hcmiu-map
quinn
This is a patch for the quinn library to emit UDP datagrams to async-std channels.
TwoPhoneSteno
cheaper than a professional stenotype machine and yet more ergonomic
vietnamese-steno
vscoq
Visual Studio Code extension for Coq
huynhtrankhanh's Repositories
huynhtrankhanh/CoqCP
We combat sloppy arguments in competitive programming and raise the standard of rigor
huynhtrankhanh/TwoPhoneSteno
cheaper than a professional stenotype machine and yet more ergonomic
huynhtrankhanh/buihienify
huynhtrankhanh/hcmiu-map
huynhtrankhanh/mentalhealth.huynhtrankhanh.com
a real issue that deserves to be treated seriously
huynhtrankhanh/vietnamese-steno
huynhtrankhanh/satire-news
Welcome! This repository contains completely accurate and up-to-date news about science and technology.
huynhtrankhanh/ThesisReport
huynhtrankhanh/VNOJ
A modern open-source online judge and contest platform system.
huynhtrankhanh/AlternateFace
New theorem prover based on set theory. Focuses on performance and usability, not theoretical concerns.
huynhtrankhanh/AxisAlignedRectangles
huynhtrankhanh/CollaborativePainting
huynhtrankhanh/CollaborativeYelling
huynhtrankhanh/cp-algorithms
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
huynhtrankhanh/DetectWebsiteChange
huynhtrankhanh/emoji-fireworks
huynhtrankhanh/EVMContractFuzzing
For prethesis and potentially thesis at HCMIU
huynhtrankhanh/hcmiu-food-booth
huynhtrankhanh/HCMIU-UI
huynhtrankhanh/htk-website
huynhtrankhanh/huynhtrankhanh
huynhtrankhanh/huynhtrankhanh.github.io
not my personal website
huynhtrankhanh/lab3-webapp-deployment
huynhtrankhanh/lean-cheatsheets
huynhtrankhanh/math_formalization_leaderboard
huynhtrankhanh/steno-dictionaries
My Plover dictionaries. Home of Lapwing theory and my Vietnamese steno system.
huynhtrankhanh/university-documents
University documents that I have collected from HCM-IU VNU
huynhtrankhanh/ViChiThanhHumanComputerInteraction
UI Design and Evaluation course at HCMIU. Doctor Thành also refers to this course as Human–Computer Interaction
huynhtrankhanh/WeCanDraw
huynhtrankhanh/WeCanDraw-landing