ATMxsp01/Shirone
An expressive, anime-inspired blog theme built on Material 3 Expressive, Astro 7, and Svelte 5
Down the rabbit hole
Repositories
ATMxsp01/ATMxsp01.github.io
Personal blog built with Shirone (Astro 7 + Svelte 5 + Material 3 Expressive)
ATMxsp01/mathlib4
The math library of Lean 4
ATMxsp01/lean.nvim
Neovim support for the Lean theorem prover
ATMxsp01/FlowPrune
FlowPrune: Accelerating Attention Flow Calculation by Pruning Flow Network
ATMxsp01/Langchain-Chatchat
Langchain-Chatchat（原Langchain-ChatGLM）基于 Langchain 与 ChatGLM 等语言模型的本地知识库问答 | Langchain-Chatchat (formerly langchain-ChatGLM), local knowledge based LLM (like ChatGLM) QA app with langchain
ATMxsp01/30dayMakeCppServer
学习cpp开发
ATMxsp01/vim-obsidian
Obsidian is a colorscheme for Vim
ATMxsp01/zshguide
Zsh 开发指南
ATMxsp01/CS-Books
🔥🔥超过1000本的计算机经典书籍、个人笔记资料以及本人在各平台发表文章中所涉及的资源等。书籍资源包括C/C++、Java、Python、Go语言、数据结构与算法、操作系统、后端架构、计算机系统知识、数据库、计算机网络、设计模式、前端、汇编以及校招社招各种面经~
ATMxsp01/consolas-nf
Consolas patched with Nerd Fonts