NeoVim configuration optimized for writing in LaTeX
Dépôts
Dépôts de kylechui
A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".
My solutions to Advent of Code! Written with :heart: in a few languages.
:brain: :muscle: // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more
A CLI program that helps you find classes and plan pre-requisites. Written with :heart: in C++ and Python.
A continuously-scrolling car racing game built with a procedurally generated map
My solutions to Xanadu's Quantum Codebook
A CLI text editor with undo and spellcheck functionality
A collection of interpreters for Brewin (and derivatives)
A simple zero-based budgeting app. Written with :heart: in Gleam. Very much WIP
A remote backup for my Neovim config. Written with :heart: in Lua.
Visual Studio Code Extension and Language Server Protocol for Coq
An open protocol for secure data sharing
My general Linux config files
Functional Programming Course
NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.
Cross-platform, fast, feature-rich, GPU based terminal
A place where I put my half-baked ideas.