SyGuS Solver for String. https://yuantianding.github.io/Synthphonia/synthphonia/index.html

Minimal async-await based on `Rc<T>`

A textobject-oriented vscode keymap. Inspired by vim, kakoune and helix.

A lightweight and extensible quantum circuit representation for Python and Rust.

`llmscope` is a Python library designed to simplify interactions with Large Language Models (LLMs) by providing a stateful, fluent interface for managing conversation history, tool usage, and respo…

`cargo-aidoc` is a Python script that leverages Large Language Models (LLMs) to automatically generate documentation comments for Rust code items like functions, structs, enums, etc.

A proc_macro lexer generator. using `enum`-like syntax.

An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.

A LL(1) Parser Generator based on Type System (Just for Fun)

A New Dependency-driven Graph Processing System

Repo for web info lab2 - relation extraction, 2020 fall, USTC.

My AlgorithmLab1 for NaiJie Gu (2020 FA)

My repo for OS Tutorial Summer of Code 2020.

rvisor kernel in my OSH Lab 2020