Kuan-Yen Chou's starred repositories
markdownload
A Firefox and Google Chrome extension to clip websites and download them into a readable markdown file.
AdGuardHome
Network-wide ads & trackers blocking DNS server
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
Catppuccin-GTK-Theme
GTK Theme with Catppuccin colour scheme
Kanagawa-GKT-Theme
A GTK theme with the Kanagawa colour palette.
Everforest-GTK-Theme
Everforest colour palette for GTK
Gruvbox-GTK-Theme
A GTK theme based on the Gruvbox colour palette.
firefox-csshacks
Collection of userstyles affecting the browser
counterfeit-monkey
Counterfeit Monkey by Emily Short
hugo-texify3
A LaTeX-style hugo theme with the gruvbox color scheme for personal blogging
vim-systemtap
Vim syntax files from the official Systemtap repo at git://sourceware.org/git/systemtap.git
toggleterm.nvim
A neovim lua plugin to help easily manage multiple terminal windows
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
none-ls.nvim
null-ls.nvim reloaded / Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
google-drive-ocamlfuse
FUSE filesystem over Google Drive
proton-ge-custom
Compatibility tool for Steam Play based on Wine and additional components
tmux-resurrect
Persists tmux environment across system restarts.