Huỳnh Trần Khanh (@huynhtrankhanh)
github

huynhtrankhanh

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    51
  • Global Rank 336,599 (Top 12 %)
  • Followers 122
  • Following 494
  • Registered over 4 years ago
  • Most used languages
    TypeScript
         42.9 %
    C++
         28.6 %
    Coq     14.3 %
    Rust
         14.3 %
  • Location 🇻🇳 Vietnam
  • Country Total Rank 1,447
  • Country Ranking
    Coq     1
    Rust
         48
    TypeScript
         299
    C++
         517

Top repositories

1

CoqCP

We combat sloppy arguments in competitive programming and raise the standard of rigor
Coq
22
star
2

contrasleuth

Consider it an experiment. A wild experiment.
TypeScript
6
star
3

quinn

This is a patch for the quinn library to emit UDP datagrams to async-std channels.
Rust
5
star
4

Crusgkeo

candy crush clone for OOP course. unlikely to be interesting, but the repo is public nonetheless
TypeScript
4
star
5

gym-aug-23-2022

C++
2
star
6

FINAL_EXAM_NOTES

it's important to prepare good notes. or else you'll fail!
2
star
7

hcmiu-map

TypeScript
2
star
8

ThesisReport

1
star
9

beautiful-strings

C++
1
star
10

unofficial-editorials

if i ever feel like writing an unofficial editorial i'll post it here
1
star
11

satire-news

Welcome! This repository contains completely accurate and up-to-date news about science and technology.
1
star