mingang.he's repositories
dot_matrix_font_to_bmp
点阵字库到bmp位图的转换工具
gendotmatrix
生成点阵字库
sudoku_solver
solve sudoku via DLX
lambda-calculus-x
`λ-calculus` implementations
Abstract
neovim as an IDE
MIT000
add_ssh_key
add ssh pub key to remote, then SSH login without password
hmgle.github.com
hmgle's blog
keaising.github.io
Source file for
totp-tool
Use Google Authenticator in a desktop environment.
Language:Python000