An enhancer/customiser for the all-in-one productivity workspace Notion

An enhancer/customiser for the all-in-one productivity workspace Notion (v0.11.0 browser extension)

Pipelines enhancer

Deprecated: this was just me playing around

Little helper script to integrate faster the bodymovin / lottie animations in a html page.

Various scripts related to Steam : dig-store-enhancer.user.js

Store enhancer for redux which support accurately subscribe