Wenhao Tang (@thwfhk)
github

thwfhk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    52
  • Global Rank 331,430 (Top 12 %)
  • Followers 84
  • Following 57
  • Registered about 8 years ago
  • Most used languages
    Haskell
         25.0 %
    Python
         25.0 %
    OCaml
         25.0 %
    TeX
         12.5 %
    C++
         12.5 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 14,081
  • Country Ranking
    TeX
         159
    OCaml
         184
    Haskell
         235
    C++
         3,208
    Python
         9,153

Top repositories

1

PKU-Beamer-Theme

基于Metropolis修改的北大风格Beamer主题
TeX
23
star
2

lambdaQ

λQ: A Simple Quantum Programming Language.
Haskell
6
star
3

CV-facial-filters

A term project of the course "Introduction to Artificial Intelligence - Computer Vision"
Python
5
star
4

subgraph_isomorphism

Implementations and optimization of some algorithms for the subgraph isomorphism problem.
C++
4
star
5

lambdaSC

A Calculus for Scoped Effects and Handlers
Haskell
4
star
6

ics20-29

ICS seminar 29, 2020 Fall
2
star
7

lambdaM

LambdaM: A Simple Language with Termination Checking based on Dependent Types
OCaml
1
star
8

SyGuS

Solvers for a subset of Syntax-Guided Synthesis problem.
Python
1
star
9

TAPL

An OCaml implementation of the book Types and Programming Languages.
OCaml
1
star