Pinned Repositories
autotap
A user-friendly synthesizing/debugging tool for trigger-action programs in smart home
BaiduExpAssistant
UWP app for Baidu Exp writers (Unofficial). Data analysis, searching, and enhanced editing.
BaiduExpAssistant.Lite
百度经验个人助手的Chrome插件版本。仅含部分不需要存储的辅助编辑功能。
cse291-program-synthesis
Program Synthesis Course
DBLab3
Database lab 3
DuoGlot
DuoGlot: A User-Customizable Code Translator
MyNote
Personal Notes. Markdown files.
PrivatePolicies
隐私策略声明
SynGuar
SynGuar: Guaranteeing Generalization in Programming by Example
TransMap
Debugging Code Translation by Codex & ChatGPT (Python to JavaScript)
HALOCORE's Repositories
HALOCORE/BaiduExpAssistant
UWP app for Baidu Exp writers (Unofficial). Data analysis, searching, and enhanced editing.
HALOCORE/DuoGlot
DuoGlot: A User-Customizable Code Translator
HALOCORE/TransMap
Debugging Code Translation by Codex & ChatGPT (Python to JavaScript)
HALOCORE/MyNote
Personal Notes. Markdown files.
HALOCORE/PrivatePolicies
隐私策略声明
HALOCORE/SynGuar
SynGuar: Guaranteeing Generalization in Programming by Example
HALOCORE/autotap
A user-friendly synthesizing/debugging tool for trigger-action programs in smart home
HALOCORE/BaiduExpAssistant.Lite
百度经验个人助手的Chrome插件版本。仅含部分不需要存储的辅助编辑功能。
HALOCORE/cse291-program-synthesis
Program Synthesis Course
HALOCORE/DBLab3
Database lab 3
HALOCORE/HALOCORE.github.io
Personal Homepage
HALOCORE/huawei2019-with-visualization
华为2019评判器开源(提供可视化接口，方便大家调试自己的判题器)
HALOCORE/leetcode
😏 LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer（第 2 版）》、《程序员面试金典（第 6 版）》题解
HALOCORE/mathematica-keygen
wolfram mathematica keygen
HALOCORE/PapersHelper
Help with my downloaded papers in a directory.
HALOCORE/PythonUtils
自己使用的python常用函数
HALOCORE/rust-analyzer.github.io
HALOCORE/Security-Courseware
Courseware for computer system security course at HIT
HALOCORE/UserGuides
HALOCORE/USTC-CS-Courses-Resource
:heart:**科学技术大学计算机学院课程资源
HALOCORE/USTC-Junior-Lab
Record all courses' experiments during the third year in USTC
HALOCORE/util-api-servers
Mini servers written in python 3 or nodejs. Provide API for personal use.