Pinned Repositories
run-hol-code
方便运行、调试HOL代码的vscode插件
CodeTransmit
基于python开发的编码转换工具，图形化界面基于pyside2（qt5）开发。 支持批量转换任意格式的文件编码； 可将文件编码转为UTF-8 BOM 、UTF-8、GB2312中的任意一种格式；
folder-subscription
一个服务，用于监听目录中的文件变化，将源目录中的新文件拷贝/下载/移动到目标目录。
git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
go-aya
go-ayadb
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.
Typora_PicGo
私有PicGo图床
gogs
Gogs is a painless self-hosted Git service
Satone7's Repositories
Satone7/folder-subscription
一个服务，用于监听目录中的文件变化，将源目录中的新文件拷贝/下载/移动到目标目录。
Satone7/run-hol-code
方便运行、调试HOL代码的vscode插件
Satone7/git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
Satone7/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.
Satone7/Typora_PicGo
私有PicGo图床
Satone7/CodeTransmit
基于python开发的编码转换工具，图形化界面基于pyside2（qt5）开发。 支持批量转换任意格式的文件编码； 可将文件编码转为UTF-8 BOM 、UTF-8、GB2312中的任意一种格式；
Satone7/Bilibili-Go-Backup
Bilibili-Go-Backup
Satone7/go-ayadb
Satone7/go-aya