Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Rating: 5
|
Version: 1.0.6
|
Size: 1.38MiB
|
Language(s): English (UK)
Rating history
Rating count & user count history
Similar extensions
name | rating | # ratings | # users | categories | description | version | updated | |
---|---|---|---|---|---|---|---|---|
math-with-slackb | - | 0 | 25 | Workflow & Planning | Inject MathJax on Slack pages | 0.1 | April 17, 2019 | view details → |
Unofficial Meh.com Forum Unread Scroller | 5 | 3 | 31 | Just for Fun | This extension scrolls to the next unread thread/comment/reply on A Mediocre Corporation's online forums. | 1.7 | June 10, 2020 | view details → |
Short Cut for URL mapper | 5 | 2 | 22 | Workflow & Planning | This extension will translate the URL in address bar | 1.0 | June 11, 2016 | view details → |
Parsys | 5 | 2 | 100k | Workflow & Planning | Improve the Parsys Télémédecine videoconferencing solution with new capabilities. | 1.5.0 | June 18, 2021 | view details → |
No Curly | 4 | 1 | 56 | Developer Tools | Avoid the time suck converting C# to F# | 0.0.0.6 | August 6, 2019 | view details → |
Odds to Probability Text Changer | 5 | 1 | 71 | Entertainment | Click this extension to convert all American odds on a webpage to implied probability. | 3.3 | December 17, 2022 | view details → |
Puffer | 5 | 1 | 13 | Social Networking | Send your links to Buffer when reading on the Pocket Web-UI (formerly: Read-it-later). | 0.1 | November 29, 2012 | view details → |
Web Travel | - | 0 | 18 | Just for Fun | It is a fun extension which tells and shows you how much your browser travlled for any page you visited. | 0.5.3 | October 7, 2013 | view details → |
Voz Next Page | 4 | 1 | 6 | Workflow & Planning | Vozforums Next Page Widget by Ninh #ReeganExE | 0.2 | February 19, 2016 | view details → |
Eportal Marker | 4.2 | 4 | 20 | Workflow & Planning | For Obafemi Awolowo University Students. This helps you to automatically mark your lecturer assessments when you are on the page.… | 0.0.2 | July 26, 2014 | view details → |
Make Nazis Nazis Again | 5 | 1 | 0 | Social Networking | This extension helps you determine who is a Nazi and who is not by replacing the term "alt-right" and "white nationalism" - PR… | 4.20 | November 22, 2016 | view details → |
WikSort | 3 | 1 | 19 | Workflow & Planning | Sort unique words in Wikipedia articles to a new tab | 4.0 | May 29, 2017 | view details → |
Gauss media tools | 5 | 1 | 18 | Social Networking | Выгружает площадки со страницы "Площадки" AdSpoiler и рассчитывает CPM в РСВК на странице "Статистика" | 0.1.6 | January 22, 2018 | view details → |
ARC System for KH | - | 0 | 8 | Just for Fun | Egy kis bővítmény ahhoz, hogy manipulálni tudjuk a Klánháborús tartalmakat. | 1.5.2 | May 22, 2016 | view details → |
kulasis-happy-background | 4.3 | 7 | 42 | Just for Fun | 京都大学の教務管理システムKULASISに背景画像を設定するためのGoogle Chrome拡張です。 ======== version infomation ver 0.6.2 レポート画像ページで選択ボックスが表示されないように変更 ver… | 0.6.7 | January 21, 2016 | view details → |
Kicktipp Zufallstipper | - | 0 | 25 | Entertainment | Für alle die zu faul zum tippen sind | 1.0.0 | June 6, 2016 | view details → |
StatusFrost - Statistics on Your Browsing | 4.5 | 2 | 16 | Workflow & Planning | Track your personal browsing statistics | 0.2.1 | December 28, 2016 | view details → |
c³ Screensharing | - | 0 | 62 | Social Networking | Screensharing utility plugin for c³ | 0.0.7 | July 25, 2019 | view details → |
Situação das linhas de SP | 2 | 1 | 5 | Workflow & Planning | Situação das linhas de trem e metro de SP | 1.0.5 | September 16, 2015 | view details → |
Barzellette | 3 | 3 | 11 | Just for Fun | Barzellette divertenti | 1.1 | December 31, 2012 | view details → |
Shimmy States | 5 | 2 | 8 | Just for Fun | Hillary likes when she's leading in the polls-plus forecast. Hover over a blue state to see her shimmy! | 1 | October 4, 2016 | view details → |
ColorScan | - | 0 | 64 | Workflow & Planning | Find out the color palette of any website. Click on a color to copy its HEX code. | 1.1.3 | April 6, 2023 | view details → |
UNIMOL Menu | 5 | 12 | 39 | Accessibility | Unimol MENU | 6.10 | October 3, 2017 | view details → |
Fronter Hero IL | 5 | 7 | 3 | Workflow & Planning | Får Fronter att spara ditt lösenord så att du slipper skriva in det varje gång du råkar stänga ner sidan. Skapat av Ivan Liljeqvist. | 2 | May 26, 2013 | view details → |
FailSnipe | 5 | 2 | 0 | Just for Fun | Notify you when a round value is higher to your setting. | 1.1 | May 5, 2016 | view details → |
datraolat | 5 | 3 | 82 | Social Networking | Zabalerarik gabeko zuriuneak txertatzeko gehigarria. | 0.2.0 | October 31, 2015 | view details → |
KU Timetable Wrangler | - | 0 | 37 | Workflow & Planning | Extension to find available dates for groups of students. | 1.1.4 | October 20, 2021 | view details → |
Asana Responsive Improvements | - | 0 | 26 | Accessibility | Responsive style fixes for Asana. People use modern browsers with small windows! As a frontend-developer I'm obliged to take action. | 1.0.5 | October 25, 2016 | view details → |
Power Close | 5 | 2 | 108 | Workflow & Planning | A browser extension, for the tab addict, to close all tabs with urls containing a keyword or a domain name. | 0.5.2 | June 26, 2016 | view details → |
Spider Devtools | 5 | 1 | 27 | Developer Tools | spider dev tools | 1.2.2 | December 20, 2021 | view details → |
Lynn | 5 | 2 | 14 | Workflow & Planning | Vim-like bookmarking with tags | 0.2.13 | August 26, 2015 | view details → |
SourceForge Stats | 5 | 1 | 33 | Developer Tools | View stats your project in SourceForge. | 1.5.1 | October 15, 2018 | view details → |
background color grazer | - | 0 | 5 | Developer Tools | Get background colors from the current tab.The cow grazes the colors. | 1.1 | January 13, 2015 | view details → |
WeBWorK+ | - | 0 | 25 | Workflow & Planning | Add math inputs to WebWork | 0.0.1.0 | January 7, 2019 | view details → |
Next IL Shopping-bag item links | - | 0 | 2 | Shopping | Adds links to Next IL Shopping-bag items | 2.0.0 | February 20, 2014 | view details → |
Beta Blocker | - | 0 | 3 | Just for Fun | Replace monotonous internet content with pictures of your co-workers. | 0.1 | June 17, 2015 | view details → |