CudraniaTrec

A student in Peking University

Peking UniversityBeijing

Pinned Repositories

crawler
Language:Python1 1 00
cudraniatrec.github.io
Homepage
Language:HTML0 1 00
minizinc2sufu-translation
Language:Rust10
Proof2Prog
Language:Coq00
Proof2Prog-demo
Language:C++0 1 00
coqpyt
Python client for coq-lsp
Language:Python23 2 152
FP
For the FP class in Peking University in 2021
Language:Agda6 3 01

CudraniaTrec's Repositories

CudraniaTrec/crawler
Language:Python1 1 00
CudraniaTrec/cudraniatrec.github.io
Homepage
Language:HTML0 1 00
CudraniaTrec/Proof2Prog
Language:Coq00
CudraniaTrec/Proof2Prog-demo
Language:C++0 1 00
CudraniaTrec/skyland-auto-sign
森空岛明日方舟一键自动签到脚本，基于python（支持挂云函数，附详细教程）