Yu-Ren's starred repositories
github-readme-stats
:zap: Dynamically generated stats for your github readmes
TW_Thesis_Template
The LaTeX Template for TW Thesis 台灣碩博士 LaTeX 論文樣板
hbrainfuck
A toy brainfuck interpreter
learnyouahaskell.github.io
A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
series-formelles
Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)
lambda-calculus
Lambda Calculus compiler for Codewars
MantouSans
饅頭黑體,基於字型 デラゴシック (Dela Gothic One) ,修改而成的臺灣繁體中文補充版本。
Chiaki-Taiwan-Railway-font
Taiwan Railway Mark Font
incredible
The Incredible Proof Machine
ac-library
AtCoder Library
material-design-icons
Material Design icons by Google (Material Symbols)
Problem-Bookmark
hehe
CSES-Helper
【Frontend】CSES Judge 擴充工具
The-Art-of-Linear-Algebra
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
counterexamples
Counterexamples in Type Systems
lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
purescript
A strongly-typed language that compiles to JavaScript
github-release-action
An action that creates GitHub releases automatically.
cc-visualize
既适合程序员,也适合中文电子文字整编人员(in beta)。汉字繁、简、异、兼、笔、变等关联关系可视化。非寻常汉字字符、同形字符攻击、不可打印字符等检视工具。结合OpenCC、Unicode等数据 | Chinese characters relations or vatiants (simplified, traditional etc) visualization. Potential Unihan/UCD homograph/punycode attack/phishing, non-printable invisible characters inspector