Discover @riaqn Open Source projects

Zesen Qian (@riaqn)

riaqn

Stars
110
Global Rank 194,129 (Top 7 %)
Followers 136
Following 59
Registered about 12 years ago
Most used languages

Haskell
35.7 %

Python
28.6 %

Shell
7.1 %

HTML
7.1 %

C++
7.1 %

Scheme
7.1 %

Agda 7.1 %
Location 🇬🇧 United Kingdom
Country Total Rank 8,426
Country Ranking

Agda 29

Scheme
39

Haskell
92

Python
3,146

C++
4,102

Shell
4,765

HTML
9,476

china-dns

A DNS proxy for netizens in China

faptrack

aggregate your videos files and track your viewing activities

python-nvidia-codec

Pythonic Nvidia Codec Library

blog

static blog generated by Shake with Shakespeare and Pandoc

sicp-exercise

Exercises in SICP(not finished)

orton

generalized model of CTT based on work of Orton et al.

resolve

a Haskell library for name resolution (DNS)

interfacelift-grabber

Download wallpapers from interfacelift

youdao-cli

Youdao Translation with Command Line Interface

estlc

a compiler from Extended Simply Typed Lambda Calculus to LLVM

tensorflow-rocm-gfx803

quidditch

The most boring game I ever played (and made)

udp-laundry

UDP tunnel in stateful TCP connection without retransmission

coc

Interpreter for Calculus of Construction