Explore projects

A simple Markdown editor and previewer. Assignment for NJU2021 高级程序设计 Course.

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"

我在南京大学人工智能专业学习时所做的笔记 :-)

Engineering-Ethics

Template for writing an Oxford University thesis in R Markdown; uses the OxThesis LaTeX template and was inspired by thesisdown.

闲暇学一下web

Simplistic mobile RSS client built with Flutter

Example Hexo site using GitLab Pages: https://pages.gitlab.io/hexo

From https://github.com/x-stream/xstream

SICP相关代码和文档