Popular repositories Loading

1. 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 3 3

2. run-hol-code run-hol-code Public

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

   JavaScript 1

3. ros2-demo ros2-demo Public

   个人学习ros2的demo项目

   Python 1 1

4. Typora_PicGo Typora_PicGo Public

   私有PicGo图床

5. 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

6. CodeTransmit CodeTransmit Public

   Forked from clorymmk/CodeTransmit

   基于python开发的编码转换工具，图形化界面基于pyside2（qt5）开发。 支持批量转换任意格式的文件编码； 可将文件编码转为UTF-8 BOM 、UTF-8、GB2312中的任意一种格式；

   Python