- Tokyo, Japan
- @lumc_
Block or Report
Block or report LumaKernel
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
awesome-stars Public
A curated list of my GitHub stars! Generated by starred
-
-
ddc-source-file Public
Powerful and performant file name completion for ddc.vim.
-
dotfiles Public
⭐ My own world.
-
-
const-map-ts Public
TypeScript library for defining constant mapping with typed happily.
TypeScript Creative Commons Zero v1.0 Universal UpdatedMay 20, 2024 -
cf-fast-submit Public
append the form to submit to codeforces contest problem page.
-
usehooks-ts Public
Forked from juliencrn/usehooks-tsReact hook library, ready to use, written in Typescript.
TypeScript MIT License UpdatedMar 22, 2024 -
remix Public
Forked from remix-run/remixBuild Better Websites. Create modern, resilient user experiences with web fundamentals.
TypeScript MIT License UpdatedMar 17, 2024 -
-
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedFeb 12, 2024 -
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedFeb 8, 2024 -
coc-prettier_fork_joe Public
Forked from joemckenney/coc-prettierPrettier extension for coc.nvim.
TypeScript UpdatedJan 28, 2024 -
ddc-tabnine Public
TabNine Completion for ddc.vim. This source collects candidates from TabNine.
-
-
lean4-cov-recursion Public
Lean4 proof of course-of-values recursion on Nat
-
tactic-cheatsheet Public
Forked from lean-ja/lean-by-exampleLean4 の逆引きタクティクリスト
Lean MIT License UpdatedNov 24, 2023 -
-
-
-
vfile-message-daemon Public
VFile Message Daemon managing LSP Server
-
-
-
visual-chatgpt Public
Forked from chenfei-wu/TaskMatrixOfficial repo for the paper: Visual ChatGPT: Talking, Drawing and Editing with Visual Foundation Models
Python MIT License UpdatedApr 3, 2023 -
[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 algor…
-
pathpida Public
Forked from aspida/pathpidaTypeScript friendly pages path generator for Next.js and Nuxt.js.
-
create-frourio-app Public
Forked from frouriojs/create-frourio-app -
ts-never-proves Public
The type that proves Goldbach's conjecture.
-
webpack-playground Public
-
frourio-express Public
Forked from frouriojs/frourio-expressFast and type-safe full stack framework, for TypeScript