English
See more
Annotate optic operators with their names
Latest Version
Version
1.0
Update
January 16, 2023
Size
95.64KiB
Developer
Category
Users
3 
Rating
0 ★
Manifest Version
3
Web Store Status
Extension ID
Languages Support
Permissions
ActiveTab
Scripting
See more
Scripting
Named Optic Operators Extension
Annotate optic operators with their names. Decrypt any optic example, code, or tutorial. Works with more-or-less any website (e.g., GitHub, hackage)
Read more
Source Manifest.json
{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "Named Optic Operators", "version": "1.0", "description": "Annotate optic operators with their names", "icons": { "16": "images/icon-16.png", "32": "images/icon-32.png", "48": "images/icon-48.png", "128": "images/icon-128.png" }, "action": { "default_title": "Click to annotate operators on this page!" }, "background": { "service_worker": "dist/background.js" }, "permissions": [ "activeTab", "scripting" ]}
Read more
Similar Extensions
Deadname Removr ?️⚧️ 3 4 ★ 21.5KiB
Namesis | Random Name Generator 3 1 ★ 489KiB
NameMC PvP Tiers Display 3 0 ★ 8.41KiB
Acronym Expander 3 3 ★ 676KiB
AdCognition 3 1 ★ 13.65MiB
Refractify Myopic Defocus 3 6 ★ 532KiB
Unity GUID Resolver 3 2 ★ 31.45KiB
Fake Name Generator 3 24 ★ 185KiB
Hacker News Translator 3 0 ★ 7.36KiB
Names for Articles 3 0 ★ 13.02KiB
Who Targets Me 3 24 ★ 3.89MiB
Show Api Name 3 0 ★ 137KiB
Slack icons & names masking 3 0 ★ 39.53KiB
Random Name Selector 3 1 ★ 44.65KiB
addy.io - Anonymous Email Forwarding 3 22 ★ 189KiB
SpeKing蝦皮輔助工具(買賣黑名單) 3 0 ★ 100KiB
APDA Team Name Converter 3 13 ★ 14.56KiB
Email Sender Icons by cloudHQ 3 12 ★ 582KiB
GH Real Names 3 0 ★ 23.35KiB
What Color? 3 0 ★ 869KiB
Plex Name Generator 3 2 ★ 1.11MiB
User-Agent Protector 3 0 ★ 784KiB
Opticks Integration Helper 3 0 ★ 41.0KiB
Twitch Chat pronouns 3 152 ★ 230KiB
