Skip to content
View Satone7's full-sized avatar
0 followers · 1 following
  • Beijing, China

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Satone7

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. run-hol-code run-hol-code Public

    方便运行、调试HOL代码的vscode插件

    JavaScript 1

  2. vscode-comment-translate-deepseek vscode-comment-translate-deepseek Public

    Forked from kitiho/vscode-comment-translate-chatgpt

    The plugin provides a translation source for the ‘comment-translate’ plugin. Itself does not activate, it starts when enabled is selected.

    TypeScript 1

  3. go-aya go-aya Public

    Forked from ayachain/go-aya

    Go

  4. go-ayadb go-ayadb Public

    Go

  5. Typora_PicGo Typora_PicGo Public

    私有PicGo图床

  6. HOL HOL Public

    Forked from HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

    Standard ML