Skip to content
View yinhaoxuan's full-sized avatar
4 followers · 1 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report yinhaoxuan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

Showing results

coq-community / coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Coq 109 22 Updated Jul 24, 2024

thu-ml / MMTrustEval

A toolbox for benchmarking trustworthiness of multimodal large language models (MultiTrust)

Python 88 7 Updated Sep 11, 2024

metaocaml / metaocaml-bibliography

MetaML and MetaOCaml bibliography

84 4 Updated Aug 30, 2024

yinhaoxuan / QingxinManager

Python 1 Updated Feb 16, 2021

PKUanonym / REKCARC-TSC-UHT

清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

HTML 33,131 7,635 Updated Jul 23, 2024