Skip to content

Instantly share code, notes, and snippets.

View aiya000's full-sized avatar
🐶
Inu

aiya000 aiya000

🐶
Inu
View GitHub Profile
@aiya000
aiya000 / pipe.lua
Last active July 31, 2025 11:46
luaでpipeするやつ
---A rich polymorphic container type.
---
---@generic ValueType
---@class PipedData : { value: ValueType }
---
---Example:
---```lua
---local result = PipedData.new('hello')
--- :apply(string.upper)
--- :apply(function(s) return s .. '!' end)
@aiya000
aiya000 / .luarc.json
Last active July 31, 2025 17:07
Type definition file when writing init.lua or Neovim plugin in lua-language-server
{
"$schema": "https://raw.githubusercontent.com/LuaLS/vscode-lua/master/setting/schema.json",
"Lua.runtime.version": "LuaJIT",
"Lua.diagnostics.globals": [
"vim"
],
"Lua.workspace.userThirdParty": [
"${workspaceFolder}/types"
],
"Lua.workspace.library": [
@aiya000
aiya000 / vimrc.lua
Created July 21, 2025 14:32
関数型プログラミングっぽい僕の.vim/autoload/vimrc.vimを、Claude Codeが.luaに変換してくれたやつ
-- Main vimrc module (replacement for autoload/vimrc.vim)
local list_util = require('utils.list')
local msg_util = require('utils.message')
local M = {}
-- Allows to reuse `self`.
-- Params:
-- self: A
@aiya000
aiya000 / override-css.user.js
Last active April 14, 2025 14:10
Override a specified DOM element CSS of a specified URL (Disable all existing styles of elements matching a CSS selector and apply new styles)
// ==UserScript==
// @name Override CSS Styles
// @namespace https://gist.github.com/aiya000/0514d3b7994d9c13bf8a75075ddea82c
// @version 0.1
// @description Override CSS Styles (Disable all existing styles of elements matching a CSS selector and apply new styles)
// @author aiya000
// @match *://*/*
// @grant none
// ==/UserScript==
@aiya000
aiya000 / hide-techfeed-count-numbers.css
Last active April 28, 2025 12:21
Hides TechFeed https://techfeed.io/categories/all count numbers. favorites counts, hot points, bookmark counts, and more.
/* ==UserStyle==
@name Hide TechFeed count numbers
@namespace github.com/aiya000
@version 1.0.0
@description As the name suggests
@author aiya000
==/UserStyle== */
@-moz-document url-prefix("http") {
/**
@aiya000
aiya000 / remove-twitter-follower-count.js
Last active April 13, 2025 22:27
Deprecated. ~~A tampermonky script, to solves the problem of the 'Control Panel for Twitter' extension not being able to hide the number of followers of a Twitter account.~~
// ==UserScript==
// @name Remove Twitter Follower Count
// @namespace https://gist.github.com/aiya000/9c5a16c3a96f0b14576923128fe261b4
// @version 2025-04-09
// @description Remove Twitter(X)'s follower count at profile. This solves the problem of the 'Control Panel for Twitter' extension not being able to hide the number of followers of a Twitter account.
// @author aiya000
// @match https://x.com/*
// @match https://twitter.com/*
// @icon data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==
// @grant none
@aiya000
aiya000 / toRawDeep.ts
Created March 14, 2025 17:29
zodにも限界がある例
import { toRaw } from 'vue'
import { z } from 'zod'
/**
* ```typescript
* import { ref } from 'vue'
* const x = ref({ a: { b: 42 } })
* // const y = structureClone(toRaw(x.value)) // 深いProxy(x.value.a.b)を除去できずに例外が出る
* const y = structureClone(toRawDeep(x.value)) // OK
* ```
@aiya000
aiya000 / gh-issue-view-select
Created March 4, 2025 17:48
Immediately open a GitHub issue by peco or fzf and etc
#!/bin/bash
# Shows GitHub issues in interactive filter and opens selected issue with gh issue view.
#
# ```shell-session
# $ gh-issue-view-select
# # Shows interactive filter with issues
# # Opens selected issue with gh issue view
# ```
@aiya000
aiya000 / virus_scan.sh
Last active February 24, 2025 16:39 — forked from nemasu/virus_scan.sh
Progress for clamdscan.
#!/bin/bash
# This respects the following original script:
# - Original: https://gist.github.com/nemasu/9d89d2998822980a07284bf442342482
#
# I'm also developing the newer version at here:
# - Support: https://github.com/aiya000/bash-toys
if [[ $# -eq 0 ]] ; then
@aiya000
aiya000 / vrcss-fov.sh
Created January 29, 2022 18:03
vrcss-fov.sh
#!/usr/bin/env zsh
# https://gist.github.com/chigirits/55d6eed4396ed5da64878af2b43111ed
dist=./vrcss-fov-dist
if [[ ! -d $dist ]] ; then
mkdir $dist
fi