Discover @xuanruiqi Open Source projects

Xuanrui Qi (@xuanruiqi)

xuanruiqi

Stars
46
Global Rank 359,700 (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,125

Python
8,150

categories

Categories in Coq using SSReflect and packed classes

commalg

Commutative algebra in Coq/SSReflect

algebraic-geometry

Algebraic geometry in Coq/SSReflect/MathComp

rebuild-initramfs-dracut-arch-legacy

A helper script for Arch Linux; rebuild initramfs images using dracut

lyrics-classification

"Working with Corpora" final project - lyrics-based Japanese music classification.

dtp

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