Skip to content

Instantly share code, notes, and snippets.

View paolosimone's full-sized avatar

Paolo Simone paolosimone

View GitHub Profile
import os
import json
import uuid
from pathlib import Path
from random import randrange, choice, choices
"""
Quick and **dirty** script to generate random json
Maybe one day I'll polish it.
Spoiler: I probably won't
// ==UserScript==
// @name Youtube Playlist Total Time
// @namespace https://www.youtube.com/
// @version 0.3
// @description Shows cumulative time of videos in a Youtube playlist
// @author Paolo Simone
// @match https://www.youtube.com/playlist*
// @grant none
// @run-at document-start
// ==/UserScript==
// ==UserScript==
// @name Leetcode "PickOne" filter
// @namespace https://leetcode.com/
// @version 0.1
// @description Apply table filters also to "PickOne" button in "Problems" section
// @author Paolo Simone
// @match https://leetcode.com/problemset/*
// @grant none
// ==/UserScript==