Item logo image for Named Optic Operators

Named Optic Operators

ExtensionDeveloper Tools2 users
Item media 2 (screenshot) for Named Optic Operators
Item media 1 (screenshot) for Named Optic Operators
Item media 2 (screenshot) for Named Optic Operators
Item media 1 (screenshot) for Named Optic Operators
Item media 1 (screenshot) for Named Optic Operators
Item media 2 (screenshot) for Named Optic Operators

Overview

Annotate optic operators with their names

Annotate optic operators with their names. Decrypt any optic example, code, or tutorial. Works with more-or-less any website (e.g., GitHub, hackage)

0 out of 5No ratings

Google doesn't verify reviews. Learn more about results and reviews.

Details

  • Version
    1.0
  • Updated
    January 17, 2023
  • Offered by
    optics.annotations
  • Size
    95.64KiB
  • Languages
    English
  • Developer
    Email
    optics.annotations@gmail.com
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

  • Not being sold to third parties, outside of the approved use cases
  • Not being used or transferred for purposes that are unrelated to the item's core functionality
  • Not being used or transferred to determine creditworthiness or for lending purposes

Related

Email Sender Icons by cloudHQ

4.8(13)

Identify Companies in Your Inbox.

Telegram User ID

5.0(2)

Get Telegram User ID from username

Highlight Magic

4.1(35)

Enables user to highlight words

Grammarly with Ghost

5.0(4)

Allow Grammarly to work on Ghost's editor

Name2Gender

5.0(1)

Easily predict the gender associated with any name using the Genderize.io API.

Salad Machine Renamer

4.0(1)

Customize machine names on Salad.com

Deadname Removr 🏳️‍⚧️

5.0(5)

Removes and replaces deadnames

NameMC PvP Tiers Display

3.0(2)

Display a person's PvP tier from mctiers.com on their NameMC profile

Domain Extractor

0.0(0)

Extract and collect all domain names and subdomains from any webpage

Acronym Expander

5.0(4)

Automatically displays interactive tooltips for acronyms with their expansions.

Lightspeed Insight Agent

1.2(111)

Lightspeed Insight Agent

Refractify Myopic Defocus

4.0(6)

Apply a myopic defocus effect on any website

Email Sender Icons by cloudHQ

4.8(13)

Identify Companies in Your Inbox.

Telegram User ID

5.0(2)

Get Telegram User ID from username

Highlight Magic

4.1(35)

Enables user to highlight words

Grammarly with Ghost

5.0(4)

Allow Grammarly to work on Ghost's editor

Name2Gender

5.0(1)

Easily predict the gender associated with any name using the Genderize.io API.

Salad Machine Renamer

4.0(1)

Customize machine names on Salad.com

Deadname Removr 🏳️‍⚧️

5.0(5)

Removes and replaces deadnames

NameMC PvP Tiers Display

3.0(2)

Display a person's PvP tier from mctiers.com on their NameMC profile

Google apps