Repositories

kylechui repositories

45 supported repositories

NeoVim configuration optimized for writing in LaTeX

Last commit Nov 12, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".

Last commit Jun 21, 2024

 (4 stars) (2 forks) (0 indexed issues) (0 open good first issues)

My solutions to Advent of Code! Written with :heart: in a few languages.

Last commit Dec 23, 2024

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)

:brain: :muscle: // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more

Last commit Aug 5, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A CLI program that helps you find classes and plan pre-requisites. Written with :heart: in C++ and Python.

Last commit Feb 1, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A continuously-scrolling car racing game built with a procedurally generated map

Last commit Feb 27, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

My solutions to Xanadu's Quantum Codebook

Last commit Nov 17, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

A CLI text editor with undo and spellcheck functionality

Last commit Mar 12, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Last commit Jun 24, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A collection of interpreters for Brewin (and derivatives)

Last commit Nov 2, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

A simple zero-based budgeting app. Written with :heart: in Gleam. Very much WIP

Last commit Aug 31, 2024

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

A remote backup for my Neovim config. Written with :heart: in Lua.

Last commit Apr 25, 2026

 (26 stars) (2 forks) (0 indexed issues) (0 open good first issues)

Visual Studio Code Extension and Language Server Protocol for Coq

Last commit Dec 20, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

An open protocol for secure data sharing

Last commit Mar 9, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

My general Linux config files

Last commit Apr 12, 2026

 (11 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Functional Programming Course

Last commit Oct 5, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

Last commit Feb 12, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Cross-platform, fast, feature-rich, GPU based terminal

Last commit Dec 16, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)

Last commit Jan 10, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)

A place where I put my half-baked ideas.

Last commit Jan 19, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)