倉庫

kylechui 的倉庫

NeoVim configuration optimized for writing in LaTeX

最近提交 2022年11月12日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2024年6月21日

 (4 stars) (2 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2024年12月23日

 (2 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2022年8月5日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2022年2月1日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2021年2月27日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

My solutions to Xanadu's Quantum Codebook

最近提交 2022年11月17日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

A CLI text editor with undo and spellcheck functionality

最近提交 2021年3月12日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

最近提交 2022年6月24日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

A collection of interpreters for Brewin (and derivatives)

最近提交 2023年11月2日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2024年8月31日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2026年4月25日

 (26 stars) (2 forks) (0 個已索引 issue) (0 個開放 good first issue)

Visual Studio Code Extension and Language Server Protocol for Coq

最近提交 2023年12月20日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

An open protocol for secure data sharing

最近提交 2025年3月9日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

My general Linux config files

最近提交 2026年4月12日

 (11 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

Functional Programming Course

最近提交 2022年10月5日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2024年2月12日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

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

最近提交 2024年12月16日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

最近提交 2026年1月10日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)

A place where I put my half-baked ideas.

最近提交 2026年1月19日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)