OCaml & ReasonML Formatter
To easily be able to paste OCaml or ReasonML syntax and get the equivalent in the targeted language-syntax.
Use the button down to…
Rating: -
|
Version: 1.0
|
Size: 1.26MiB
|
Language(s): English
Rating history
Rating count & user count history
Similar extensions
name | rating | # ratings | # users | categories | description | version | updated | |
---|---|---|---|---|---|---|---|---|
Space Bar Click Counter | 4.8 | 6 | 76 | Just for Fun | See how many times you can press the space bar! Use Code "Space" For a head start! | 1.0.7 | August 1, 2023 | view details → |
ChatGPT Pro | 5 | 1 | 645 | Workflow & Planning | Introducing the VSCode-like Input for ChatGPT Chrome Extension By installing this extension, it seamlessly replaces the standard… | 1.0.8 | May 31, 2023 | view details → |
pdf+mathjax | - | 0 | 16 | Tools | PDF viewer for chrome, with ability to render LaTeX in text annotations. It can add text annotations when the ꕯ button is pressed,… | 0.0.0.4 | November 7, 2023 | view details → |
QuickText | 3.5 | 11 | 1k | Workflow & Planning | QuickText allows you to simply paste predefined texts into text fields. | 0.8 | May 4, 2020 | view details → |
Special Characters | 4.4 | 17 | 4k | Workflow & Planning | Unicode Characters browser. Insert Emoji icons, Math symbols, Latin characters, Greek characters, Arrows, Braille script. Insert… | 5.2 | July 12, 2024 | view details → |
Is it an L or I? | 5 | 4 | 34 | Tools | This website will help you distinguish between the lowercase "l" and the uppercase "I" because we all hate trying to tell the… | 1.1 | October 25, 2023 | view details → |
Justify | 4.2 | 12 | 1k | Accessibility | Justify makes text easier to read in just one click! If you're used to reading justified text in academic journals, it can often be… | 0.1 | April 23, 2016 | view details → |
Mindverse | 5 | 2 | 294 | Workflow & Planning | Mit dieser Chrome Extension können Sie Mindverse auf jeder Website direkt anwenden. Highlighten Sie einfach die relevante Passage… | 3.5 | March 8, 2023 | view details → |
Chinese Word Counter | - | 0 | 13 | Tools | A simple tool to count simplified Chinese characters in real time. *Click the plug-in icon; * Paste the text; Paste the the text… | 1.0 | March 3, 2024 | view details → |
Cpoy UTF-8 Url | 4 | 1 | 48 | Accessibility | 一個可以讓你複製 Url 時,不會出現中文亂碼的小工具 | 1.0.1 | December 28, 2018 | view details → |
External Link Extractor | 5 | 1 | 259 | Workflow & Planning | This extension extracts all external links from the current webpage and generates a list in plain text. You can copy/paste using… | 1.0 | March 29, 2023 | view details → |
AHK add on | 5 | 1 | 868 | Workflow & Planning | This script is helping to grab elements on the web page for scripting language AHK. plugin reacts on this three keypress… | 1.0.2 | April 22, 2023 | view details → |
ChatGPT Copy as Markdown | 3.8 | 4 | 148 | Developer Tools | This is an extension to copy conversations with ChatGPT to the clipboard as markdown format. Click the icon or use the shortcut… | 0.0.3 | April 25, 2023 | view details → |
SNL Internlenker | 5 | 6 | 139 | Workflow & Planning | En utvidelse til Chrome for å gjøre redigering av artikler på Store Norske Leksikon lettere med diverse snarveier og hjelpemidler.… | 1.27.1 | July 3, 2024 | view details → |
Math solver | - | 0 | 1k | Workflow & Planning | An omnibox math solver. Simply type the keyword ("math") into the search bar, then press tab and enter whatever you want. This… | 0.0.1 | December 8, 2021 | view details → |
Textdrip | 5 | 291 | 3k | Workflow & Planning | Textdrip extension works with CRMs and Indeed to allow you to initiate text messages and text drip campaigns through the Textdrip… | 11.5 | June 14, 2024 | view details → |
Twitch Emotes Downloader | 4.6 | 9 | 1k | Accessibility | Instantly access and download a wide range of Twitch emojis directly from chat with ease. With our new and improved functionality,… | 0.9 | March 5, 2024 | view details → |
Competitive Programming Questions | 5 | 3 | 84 | Workflow & Planning | A simple extension to help you in finding the appropriate question on the basis of your rating on codeforces and topics you… | 0.0.2 | May 19, 2022 | view details → |
Script Tag Converter | - | 0 | 59 | Developer Tools | "Script Tag Converter" is a handy Chrome extension designed to simplify the process of converting <script> tags into raw JavaScript… | 1.0 | June 13, 2023 | view details → |