Xuanrui Qi (@xuanruiqi)
github

xuanruiqi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    46
  • Global Rank 361,753 (Top 13 %)
  • Followers 79
  • Following 52
  • Registered about 9 years ago
  • Most used languages
    Coq     66.7 %
    Python
         16.7 %
    Shell
         16.7 %
  • Location 🇯🇵 Japan
  • Country Total Rank 7,102
  • Country Ranking
    Coq     5
    Shell
         1,140
    Python
         6,727

Top repositories

1

categories

Categories in Coq using SSReflect and packed classes
Coq
7
star
2

commalg

Commutative algebra in Coq/SSReflect
Coq
7
star
3

algebraic-geometry

Algebraic geometry in Coq/SSReflect/MathComp
Coq
7
star
4

rebuild-initramfs-dracut-arch-legacy

A helper script for Arch Linux; rebuild initramfs images using dracut
Shell
6
star
5

lyrics-classification

"Working with Corpora" final project - lyrics-based Japanese music classification.
Python
1
star
6

dtp

Dependently-typed programs I write; mostly in Idris, sometimes in Agda/Coq, occasionally in Haskell
Coq
1
star