scarf scarf005
scarf005
/ export_label.js
Last active
November 25, 2022 07:23
— forked from AHilyard/export-github-labels.js
Export Github Labels via console commands
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| Copy this script into console and run. | |
| */ | |
| { | |
| /** | |
| * Convert HSL colors to HEX | |
| * @param {number} h Hue | |
| * @param {number} s Saturation | |
| * @param {number} l Lightness | |
| * @returns {string} HEX color |
scarf005
/ arrow_lambda_py.settings.json
Created
December 23, 2021 10:10
prettify python lambda into javascript style arrow function. does not changes actual symbol.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "symbolMasks.masks": [ | |
| { | |
| "language": "python", | |
| "patterns": [ | |
| { | |
| "pattern": "(lambda)|(?<=lambda).?\\s?|(?<=lambda[^:]*):", | |
| "replace": { | |
| "lambda": { "text": "λ" }, | |
| ": ": { "text": "() => " }, |
scarf005
/ sanitize_stackoverflow.user.js
Last active
February 14, 2024 11:14
remove stackoverflow sidebars and other junks
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Sanitize Stackoverflow | |
| // @namespace https://gist.github.com/scarf005/ | |
| // @version 0.2.1 | |
| // @description excesive information is crime | |
| // @author scarf005 | |
| // @match https://stackoverflow.com/* | |
| // @match https://*.stackexchange.com/* | |
| // @match https://askubuntu.com/* | |
| // @match https://superuser.com/* |
scarf005
/ font_ligatures.user.js
Last active
December 23, 2021 10:10
userscript for #tempermonkey; changes font for code block. original by peko
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Font Ligatures | |
| // @namespace https://gist.github.com/scarf005/ | |
| // @version 0.5.0 | |
| // @description ligatures are good | |
| // @author youkim | |
| // @match *://*/* | |
| // @grant none | |
| // ==/UserScript== |