Luma's repositories
ddc-source-file
Powerful and performant file name completion for ddc.vim.
cf-fast-submit
append the form to submit to codeforces contest problem page.
ddc-tabnine
TabNine Completion for ddc.vim. This source collects candidates from TabNine.
awesome-stars
A curated list of my GitHub stars! Generated by starred
ts-never-proves
The type that proves Goldbach's conjecture.
LumaKernel
State-of-the-self
vfile-message-daemon
VFile Message Daemon managing LSP Server
frourio-express
Fast and type-safe full stack framework, for TypeScript
lean4-cov-recursion
Lean4 proof of course-of-values recursion on Nat
coc-prettier_fork_joe
Prettier extension for coc.nvim.
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.
DefinitelyTyped
The repository for high quality TypeScript type definitions.
hosts-blocklist
病気スクリプト
remix
Build Better Websites. Create modern, resilient user experiences with web fundamentals.
tactic-cheatsheet
Lean4 の逆引きタクティクリスト
tree-sitter
An incremental parsing system for programming tools
usehooks-ts
React hook library, ready to use, written in Typescript.
visual-chatgpt
Official repo for the paper: Visual ChatGPT: Talking, Drawing and Editing with Visual Foundation Models
zenn.dev
Articles for zenn.dev