akiritsu
For me, being interested or not surpasses all else, and constructs my entire existence.
Paint World of Ariandel
Pinned Repositories
akiritsu
akiritsu.emacs.d
Outdated.
alacritty-theme
Collection of Alacritty color schemes
cs-learning-map
(Try to be) a Comprehensive Computer Science Learning Map.
git-cheatsheet
个人总结简明Git快捷键列表。
math-symbols-dictionary
A math symbols dictionary for Chinese input method, such as Microsoft IME, ibus-libpinyin.
Notekeeping-with-Typora
高效的笔记管理方式。
pRoJEct-NeGYa
Old version of pRoJEct-VeXEd
pRoJEct-VeXEd
A hacker-like, highly-customizable theme for note-keeping, personal-website or CV.
book-reviews
akiritsu's Repositories
akiritsu/cs-learning-map
(Try to be) a Comprehensive Computer Science Learning Map.
akiritsu/pRoJEct-VeXEd
A hacker-like, highly-customizable theme for note-keeping, personal-website or CV.
akiritsu/pRoJEct-NeGYa
Old version of pRoJEct-VeXEd
akiritsu/akiritsu.emacs.d
Outdated.
akiritsu/Notekeeping-with-Typora
高效的笔记管理方式。
akiritsu/git-cheatsheet
个人总结简明Git快捷键列表。
akiritsu/math-symbols-dictionary
A math symbols dictionary for Chinese input method, such as Microsoft IME, ibus-libpinyin.
akiritsu/akiritsu
akiritsu/alacritty-theme
Collection of Alacritty color schemes
akiritsu/bcqlr
Personal Notes
akiritsu/Best-README-Template
An awesome README template to jumpstart your projects!
akiritsu/bcqlr-old
bcqlr.com
akiritsu/BetterTranslation
akiritsu/emacs-cheatsheet
个人总结比较全面的Emacs快捷键列表。部分快捷键依赖插件。
akiritsu/HoTT-Agda
Development of homotopy type theory in Agda
akiritsu/jekyllthemes
A directory of the best-looking themes for Jekyll blogs
akiritsu/nagajamu
akiritsu/PLAI-cn
Programming Languages: Application and Interpretation
akiritsu/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
akiritsu/Python
All Algorithms implemented in Python
akiritsu/sql-cheatsheet
常用T-SQL语句简表。