Pinned Repositories
book
Cpp_Primer_Practice
搞定C++:punch:。C++ Primer 中文版第5版学习仓库，包括笔记和课后练习答案。
docker_image_pusher
使用Github Action将国外的Docker镜像转存到阿里云私有仓库，供国内服务器使用，免费易用
kind2.bak
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
MD-IMG
个人markdown图床
rime-shuangpin-fuzhuma
墨奇音形，打造最强双拼辅助码rime输入方案。基于雾凇词库，支持小鹤双拼、自然码双拼、搜狗双拼、微软双拼等多种双拼，辅助码支持墨奇码（原创拆分开源支持4万字）、自然码部首辅、小鹤音形（鹤形辅），支持整句/字词输入。不认识的字可以笔画、部件拆字、仓颉码反查。支持aw、aj模式输入英文、日文，支持双拼并击输入、emoji、快符、日期、大写数字、计算器等高级功能。雾凇鹤|雾凇自然|墨奇码|墨奇音形
zxkill161's Repositories
zxkill161/docker_image_pusher
使用Github Action将国外的Docker镜像转存到阿里云私有仓库，供国内服务器使用，免费易用
zxkill161/rime-shuangpin-fuzhuma
墨奇音形，打造最强双拼辅助码rime输入方案。基于雾凇词库，支持小鹤双拼、自然码双拼、搜狗双拼、微软双拼等多种双拼，辅助码支持墨奇码（原创拆分开源支持4万字）、自然码部首辅、小鹤音形（鹤形辅），支持整句/字词输入。不认识的字可以笔画、部件拆字、仓颉码反查。支持aw、aj模式输入英文、日文，支持双拼并击输入、emoji、快符、日期、大写数字、计算器等高级功能。雾凇鹤|雾凇自然|墨奇码|墨奇音形
zxkill161/kind2.bak
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
zxkill161/Cpp_Primer_Practice
搞定C++:punch:。C++ Primer 中文版第5版学习仓库，包括笔记和课后练习答案。
zxkill161/MD-IMG
个人markdown图床
zxkill161/book