Marast Brackets Highlighter
A browser extension for highlighting bracket pairs on https://marast.fit.cvut.cz
Rating: -
|
Version: 1.0.0
|
Size: 26.6KiB
|
Language(s): English
|
mail
Rating history
Rating count & user count history
Similar extensions
name | rating | # ratings | # users | categories | description | version | updated | |
---|---|---|---|---|---|---|---|---|
SIT 3DA CA WEB Client | 3 | 2 | 1k | Workflow & Planning | Розширення для підпису документів в браузері | 1.0.19 | July 27, 2022 | view details → |
TCOffers | - | 0 | 38 | Workflow & Planning | Chrome Extension for generating Total Compensation Offers using TCOffers.com | 1.0.15 | March 1, 2020 | view details → |
TirauraToumeiAddon | - | 0 | 0 | Accessibility | チラ裏に透明機能を追加する拡張機能 | 0.0.3.2 | May 6, 2018 | view details → |
TCOffers | - | 0 | 11 | Workflow & Planning | Chrome Extension for generating Total Compensation Offers using TCOffers.com | 4.2.3 | September 14, 2023 | view details → |
West Van Extension | 5 | 1 | 5 | Workflow & Planning | West Vancouver Secondary App for Chrome. | 1.9.1 | August 17, 2014 | view details → |
Just-EQ | 4.2 | 4 | 526 | Accessibility | Equalizer extension for web browsers | 1.0.1 | September 24, 2022 | view details → |
Vue.js devtools | 4.2 | 2.1k | 2M | Developer Tools | Browser DevTools extension for debugging Vue.js applications. | 6.6.3 | June 4, 2024 | view details → |
Notion Highlighter | 5 | 1 | 234 | Workflow & Planning | A chrome extension for saving highlighs to your notion | 0.0.1 | October 15, 2022 | view details → |
WidgetKit | - | 0 | 48 | Social Networking | A browser extension which adds support for embeddable, interactive widgets on Warpcast. | 0.0.2 | July 26, 2023 | view details → |
Scratch Plugin Customization | 5 | 1 | 436 | Developer Tools | Enables Scratch hardware extensions on Chrome. This is based on the official version, Add matche more websites. | 1.0.0.0 | November 4, 2017 | view details → |
github syntax | 5 | 3 | 38 | Developer Tools | Adds syntax highlighting to github's split diff pull request view. | 0.3.0 | September 23, 2014 | view details → |
Browser Pet | 4 | 3 | 127 | Just for Fun | A Chrome Extension that adds cute pets to your browser. | 1.1.0 | June 10, 2024 | view details → |
Shader Editor | 4.4 | 23 | 6k | Developer Tools | Live editing shaders in the browser. | 1.0.17 | April 6, 2016 | view details → |
Code Block Beautifier | 4.9 | 19 | 2k | Developer Tools | A chrome extension for beautifying code blocks in any websites that contain <pre/> elements. | 1.0.6 | March 31, 2019 | view details → |
HTML_CodeSniffer Extension | - | 0 | 331 | Developer Tools | HTML_CodeSniffer Extension | 0.0.5 | May 31, 2019 | view details → |
Twos: The best place to write *things* down | 5 | 10 | 2k | Workflow & Planning | Chrome extension for Twos: The best place to write *things* down | 1.0.5 | June 6, 2022 | view details → |
Trigger Teak | 5 | 1 | 0 | Just for Fun | The perfect extension to trigger Teak. | 1 | October 7, 2016 | view details → |
eClaire | - | 0 | 8 | Workflow & Planning | Seamless integration of eClaire with your browser | 0.0.2 | January 13, 2023 | view details → |
Jira Collapse Epics | 5 | 1 | 2 | Workflow & Planning | A browser extension to add filter "Collapse Completed Epics" on Jira Kanban Board | 0.0.2 | August 27, 2018 | view details → |
TFL Next One | - | 0 | 4 | Workflow & Planning | Display a badge in the browser for the next train/bus selected | 1.0 | August 16, 2022 | view details → |
title Fetcher | - | 0 | 2 | Tools | Extension to fetch title of current tab. | 1.0 | March 26, 2024 | view details → |
ContribKanban | - | 0 | 5 | Developer Tools | Add ContribKanban support onto Drupal.org | 1.0.0 | May 10, 2020 | view details → |
customize-slack | - | 0 | 33 | Developer Tools | A boilerplate project to quickly build a Chrome extension using TypeScript and React (built using webpack). | 1.0.1 | November 28, 2022 | view details → |
Extension Manager | 4.5 | 6 | 119 | Developer Tools | A Chrome extension to manage other extensions. | 1.0 | July 23, 2023 | view details → |
Arweave.app | 4.2 | 4 | 4k | Privacy & Security | Arweave.app browser extension | 0.2022.725.1... | September 11, 2023 | view details → |
Webpage to Markdown and PDF | 1 | 1 | 144 | Workflow & Planning | A Chrome extension to capture web page to markdown and PDF format | 1.0 | May 16, 2023 | view details → |
SIT 3DA CA WEB Client 2 | 5 | 2 | 65 | Workflow & Planning | Extension for signing documents in browser | 2.0.3 | September 28, 2023 | view details → |
Chrome Color picker | - | 0 | 52 | Developer Tools | A Chrome Extension that help to pick the color from web site. | 1.0 | April 3, 2024 | view details → |
Keyboard Shortcuts to Close Other/Right Tabs | 4.3 | 73 | 20k | Tools | Chrome extension adding shortcuts for closing and pinning tabs. | 1.0.1 | October 28, 2023 | view details → |
Highlight Focus | 5 | 3 | 63 | Developer Tools | This chrome extension will help you to highlight the current focused element in a webpage | 1.0.1 | March 30, 2024 | view details → |
Cherry Browser extension | - | 0 | 227 | Workflow & Planning | Browser extension for Cherry the open source self-hostable bookmark service | 0.0.6 | October 18, 2022 | view details → |
Adtraction | 5 | 9 | 1k | Workflow & Planning | Google Chrome extension for Adtraction. | 3.1.1 | July 3, 2024 | view details → |
tab-killer | 5 | 2 | 149 | Workflow & Planning | A chrome extension for closing duplicate tabs, and so on. | 1.3.1 | May 1, 2022 | view details → |
Close Duplicate Tabs | - | 0 | 12 | Tools | A Chrome extension to close duplicate tabs. | 1.0 | May 24, 2024 | view details → |
vsleet | 5 | 5 | 471 | Developer Tools | Browser extension to copy LeetCode cookies | 0.1.0 | October 24, 2023 | view details → |
TikTok Fullscreen | - | 0 | 64 | Tools | A Chrome extension to enable fullscreen mode on TikTok. | 1.0 | January 29, 2024 | view details → |
Sidebar Bookmarks | 4.5 | 2 | 93 | Tools | A Chrome extension to display bookmarks in a sidebar.Open bookmark in new tab. | 1.2.0 | July 2, 2024 | view details → |
Color Picker Chrome extension | 5 | 7 | 231 | Tools | Color Picker Chrome extension addon lets you to pick color from any webpage | 1.0 | July 6, 2024 | view details → |