Skip to content
View Edwardzcn's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@disc0ver-csu

Block or report Edwardzcn

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

Pinned Loading

  1. ocaml-exercise ocaml-exercise Public

    Coding in OCaml. This repo share the answers of code problems writing in OCaml like OCaml 99 vice-versa. Coding exercises of Software Foundations are also included here.

    Coq

  2. fluid-dev/hexo-theme-fluid fluid-dev/hexo-theme-fluid Public

    🌊 一款 Material Design 风格的 Hexo 主题 / An elegant Material-Design theme for Hexo

    JavaScript 7.5k 1.1k

  3. z3-leraning z3-leraning Public

    Learning Z3 Prover

  4. disc0ver-csu/csu-cs-wiki disc0ver-csu/csu-cs-wiki Public

    本仓库托管Wiki网站及内容原始代码,其他课程资料如课设实验代码均已拆分至其他仓库。

    HTML 86 22

  5. Edwardzcn.github.io Edwardzcn.github.io Public

    This is my blog repo on github. Another website domain name: www.edwardzcn98yx.com

    HTML 3 1

  6. disc0ver-csu/csu-thesis disc0ver-csu/csu-thesis Public

    中南大学学术论文LaTex模板。Central South University Thesis LaTeX Template.

    TeX 211 39