Pinned Repositories
notios
awesome-stars
A curated list of my GitHub stars! Generated by starred
cf-fast-submit
append the form to submit to codeforces contest problem page.
ddc-source-file
Powerful and performant file name completion for ddc.vim.
ddc-tabnine
TabNine Completion for ddc.vim. This source collects candidates from TabNine.
dotfiles
⭐ My own world.
fern-mapping-fzf.vim
fern.vim plugin for fzf.
lib-cpp
nvim-visual-eof.lua
Visualize existence of EOL at EOF ⏎
vim-tsdetect
LumaKernel's Repositories
LumaKernel/ddc-source-file
Powerful and performant file name completion for ddc.vim.
LumaKernel/cf-fast-submit
append the form to submit to codeforces contest problem page.
LumaKernel/ddc-tabnine
TabNine Completion for ddc.vim. This source collects candidates from TabNine.
LumaKernel/dotfiles
⭐ My own world.
LumaKernel/awesome-stars
A curated list of my GitHub stars! Generated by starred
LumaKernel/ts-never-proves
The type that proves Goldbach's conjecture.
LumaKernel/LumaKernel
State-of-the-self
LumaKernel/lean4-arrows-impossibility
LumaKernel/vfile-message-daemon
VFile Message Daemon managing LSP Server
LumaKernel/create-frourio-app
LumaKernel/frourio-express
Fast and type-safe full stack framework, for TypeScript
LumaKernel/lean4-cov-recursion
Lean4 proof of course-of-values recursion on Nat
LumaKernel/pathpida
TypeScript friendly pages path generator for Next.js and Nuxt.js.
LumaKernel/reading-tapl-coq
LumaKernel/web-playground
LumaKernel/webpack-playground
LumaKernel/coc-prettier_fork_joe
Prettier extension for coc.nvim.
LumaKernel/const-map-ts
TypeScript library for defining constant mapping with typed happily.
LumaKernel/coq
[This forking repository is for testing with GHA. Not for general usage. ] Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
LumaKernel/DefinitelyTyped
The repository for high quality TypeScript type definitions.
LumaKernel/hosts-blocklist
病気スクリプト
LumaKernel/issue-dt-estree-jsx
LumaKernel/quick-tex.vim
LumaKernel/remix
Build Better Websites. Create modern, resilient user experiences with web fundamentals.
LumaKernel/tactic-cheatsheet
Lean4 の逆引きタクティクリスト
LumaKernel/tree-sitter
An incremental parsing system for programming tools
LumaKernel/try-new-proj
LumaKernel/usehooks-ts
React hook library, ready to use, written in Typescript.
LumaKernel/visual-chatgpt
Official repo for the paper: Visual ChatGPT: Talking, Drawing and Editing with Visual Foundation Models
LumaKernel/zenn.dev
Articles for zenn.dev