HALOCORE

BaiduExpAssistant

UWP app for Baidu Exp writers (Unofficial). Data analysis, searching, and enhanced editing.

DuoGlot

DuoGlot: A User-Customizable Code Translator

TransMap

Debugging Code Translation by Codex & ChatGPT (Python to JavaScript)

MyNote

Personal Notes. Markdown files.

PrivatePolicies

隐私策略声明

SynGuar

SynGuar: Guaranteeing Generalization in Programming by Example

autotap

A user-friendly synthesizing/debugging tool for trigger-action programs in smart home

BaiduExpAssistant.Lite

百度经验个人助手的Chrome插件版本。仅含部分不需要存储的辅助编辑功能。

cse291-program-synthesis

Program Synthesis Course

DBLab3

Database lab 3

HALOCORE.github.io

Personal Homepage

huawei2019-with-visualization

华为2019评判器开源(提供可视化接口，方便大家调试自己的判题器)

leetcode

😏 LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer（第 2 版）》、《程序员面试金典（第 6 版）》题解

mathematica-keygen

wolfram mathematica keygen

PapersHelper

Help with my downloaded papers in a directory.

PythonUtils

自己使用的python常用函数

rust-analyzer.github.io

Security-Courseware

Courseware for computer system security course at HIT

UserGuides

USTC-CS-Courses-Resource

:heart:**科学技术大学计算机学院课程资源

USTC-Junior-Lab

Record all courses' experiments during the third year in USTC

util-api-servers

Mini servers written in python 3 or nodejs. Provide API for personal use.