Qiancheng Fu

@qcfu-bu

Open GitHub

🇺🇸 Boston, MA

Profile age: about 6 years

Updated 11 days ago

9 followers • 13 following

Profile Overview

Global United States

Global Rank

Beginner 4

Persona

Creator

#973,268

#2,233,759

#1,373,435

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

TLL-arxiv-repo

updated about 2 years ago • age over 2 years

Coq55.7%

OCaml35.1%

Makefile4.5%

C4.3%

Standard ML0.4%

CLC

updated 7 months ago • age over 4 years

Coq66.6%

OCaml23.2%

Makefile8.1%

C2.0%

Dune0.0%

CS655-Project

updated almost 5 years ago • age almost 5 years

Python67.4%

Gnuplot16.7%

HTML7.3%

JavaScript5.5%

CSS3.1%

TLL

updated 12 days ago • age about 3 years

Rocq Prover46.5%

OCaml25.6%

C20.5%

Makefile6.3%

TeX1.1%

rust-gkat

updated 4 months ago • age about 1 year

Rust94.7%

Makefile5.3%

View all 7 repositories

Last Contributions

2024
ocaml-bindlib
1 PR +45-19
OCaml
43
6

View all contributions

Latest Updates

29 Sep 2025
Followers Count:8 9
15 Sep 2025
Followers Count:10 8
01 Aug 2025
Followers Count:7 10
15 Jan 2025
First seen

Subscribe to qcfu-bu's GitHub rank updates in your messenger

WhatsApp Telegram