haoming-li-ling's repositories
agda-arithmetic
Arithmetic implementation in Agda
doom-emacs-private
My private module for Doom Emacs
Language:Emacs LispMIT000
Language:HTML000
000
Language:SchemeMIT000
nvim-surround
Add/change/delete surrounding delimiter pairs with ease. Written with :heart: in Lua.
Language:LuaMIT000
personal-astro
personal-astro
Language:Astro000
personal-gatsby
The default Gatsby starter
Language:JavaScript0BSD000
Language:Jupyter NotebookMIT000
personal-svelte
A preconfigured SvelteKit static blog starter, with Sass, Markdown, MDSvex, Rehype, background preloading, and more. See the README for full details.
MIT000
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:CGPL-2.0000
swap-goto
Interactively select and swap function arguments, list elements, and more. Powered by tree-sitter.
Language:LuaMIT000
Language:TeX000
TMSU-MacOS
TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.
Language:GoNOASSERTION000
vimr
VimR — Neovim GUI for macOS in Swift
Language:SwiftMIT000
000