Pinned Repositories
agda-stdlib
The Agda standard library
annotate-snippets-rs
Library for snippet annotations
difftastic
a structural diff that understands syntax 🟥🟩
duinomaker
duinomaker.github.io
My blog published at https://duinomaker.top/
game2048
A multi-threaded 2048 game engine created for practice.
HexoBlog
The node.js project for my blog
LearningStuff
Code/TeX files I created after classes.
PDF2ePub
一个PDF格式到EPUB电子图书格式的自动转换工具。
PythonChallenge
Files I created while playing The Python Challenge.
duinomaker's Repositories
duinomaker/PDF2ePub
一个PDF格式到EPUB电子图书格式的自动转换工具。
duinomaker/agda-stdlib
The Agda standard library
duinomaker/annotate-snippets-rs
Library for snippet annotations
duinomaker/difftastic
a structural diff that understands syntax 🟥🟩
duinomaker/duinomaker
duinomaker/duinomaker.github.io
My blog published at https://duinomaker.top/
duinomaker/game2048
A multi-threaded 2048 game engine created for practice.
duinomaker/HexoBlog
The node.js project for my blog
duinomaker/LearningStuff
Code/TeX files I created after classes.
duinomaker/PythonChallenge
Files I created while playing The Python Challenge.
duinomaker/pr_practice
A toy repository used for practicing my skills at operating on PRs.
duinomaker/SimpleREPL