Skip to content
View lixiang90's full-sized avatar
2 followers · 1 following

Block or report lixiang90

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

Popular repositories Loading

  1. DatasetFactory DatasetFactory Public

    To publish datasets made by myself

    Python 9

  2. buddmono buddmono Public

    佛物语

    4

  3. HoTTChinese HoTTChinese Public

    Forked from HoTT/book

    同伦类型论（Homotopy Type Theory）图书的中文翻译

    TeX 1

  4. UsefulTools UsefulTools Public

    Some small useful tools

    Python 1

  5. formalmath formalmath Public

    A formal mathematics package.

    Python 1

  6. AgentWriter AgentWriter Public

    AI小说生成器

    Python 1