unglitched

#!/usr/bin/env python3
#
# Convert .itermcolors files to kitty terminal color settings.
# Modded from https://gist.github.com/MSylvia/4e90860743f1a4de187d
# Might need to adjust dicts[i][NUMBER].text per your file.

import sys
import xml.etree.ElementTree as ET

def rgb_to_hex(rgb):

Poliwrath

These are my personal things for making Discord's web app bearable for me -- a barebones text chat application.
Almost all nitro / payment / game / voice chat stuff has been hidden / blocked. 
If something breaks / looks wrong, I'll probably eventually fix it myself, but please leave comments.
A lot of the ublock filters only work if your language is set to English.

Strongly recommend 

08/22/2022 - as of current PTB, performance on Firefox has yet again worsened.
Related bugzilla entries:
https://bugzilla.mozilla.org/show_bug.cgi?id=1605271

CMCDragonkai

Functor Examples

Const

(not to be confused with the function const)

newtype Const a b = Const { getConst :: a }