Matisa
Overview
Matisa is a Chrome extension developed by pfribeiro.
According to the data from Chrome web store, current version of Matisa is 1.0.6, updated on 2016-08-28.
29 users have installed this extension.
3 users have rated this extension with an average rating of .
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
This extension parses Isabelle syntax on GitHub and renders it using MathJax. This is currently a beta version, example available at: https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp
Changelog:
Version 1.0.6 (Current):
- Improved detection logic of Isabelle repositories by using the GitHub API when the extension cannot safely determine this.
Version 1.0.5:
- Fix for version display.
Version 1.0.4:
- Improved compatibility with Firefox.
- Optimized extension code.
- Fixed \<bar> command.
Version 1.0.3:
- Reduced extension size down to 2.3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Updated parser's rules to deal with nested subscripts and escaping of underscores.
- Optimized extension loading logic to be portable.
Version 1.0.2:
- Added missing file.
Version 1.0.1:
- Initial Chrome web store release.
Matisa Alternatives
Name | Category | Rating | Rating Count | Installs |
---|---|---|---|---|
Asana Responsive Improvements | Accessibility | (0) | 21 | |
Power Close | Productivity | (2) | 86 | |
Puffer | Social & Communication | (1) | 20 | |
background color grazer | Developer Tools | (0) | 11 | |
math-with-slackb | Productivity | (0) | 28 | |
Eye Web Element V3.0 | Developer Tools | (1) | 40 | |
Keyboard Shortcuts to Reorder Tabs For Mac | Developer Tools | (1) | 8 | |
SourceForge Stats | Developer Tools | (1) | 31 | |
Lynn | Productivity | (2) | 25 | |
Tab Shortcuts by PaganCode QWERTY | Productivity | (3) | 38 | |
Short Cut for URL mapper | Productivity | (1) | 23 | |
WikSort | Productivity | (1) | 15 | |
StatusFrost - Statistics on Your Browsing | Productivity | (2) | 16 | |
Github projects trello like cards | Developer Tools | (3) | 6 | |
Ownpage | Productivity | (1) | 25 | |
Stashword | Productivity | (2) | 34 | |
Web Travel | Fun | (0) | 16 | |
Blink Style Importer | Developer Tools | (6) | 54 | |
Oh, hi Mark! | Productivity | (1) | 11 | |
TabCache | Productivity | (3) | 76 | |
recrun | Accessibility | (2) | 62 | |
Task Sender | Productivity | (3) | 19 | |
Telegram Web Hashtags | Accessibility | (0) | 25 | |
TabCharSupport | Developer Tools | (0) | 89 |