duinomaker

Yuxuan Dai's repositories

一个PDF格式到EPUB电子图书格式的自动转换工具。

Language:PythonAGPL-3.02000

The Agda standard library

Language:AgdaNOASSERTION000

Library for snippet annotations

Language:RustApache-2.0000

a structural diff that understands syntax 🟥🟩

Language:RustMIT000

000

My blog published at https://duinomaker.top/

Language:HTML000

A multi-threaded 2048 game engine created for practice.

Language:C++020

The node.js project for my blog

Language:JavaScript000

Code/TeX files I created after classes.

Language:CoqCC0-1.0000

Files I created while playing The Python Challenge.

Language:Python000

A toy repository used for practicing my skills at operating on PRs.

000

Language:C++MIT000