Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
What is Matisa?
Matisa is a Chrome extension that parses Isabelle syntax on GitHub and renders it using MathJax. It supports Isabelle repositories and provides improved detection logic. Get the beta version now!
Extension stats
By: pfribeiro
Rating: 5.00
(3)
Creation date: 2016-08-28
Manifest version: 2
Permissions:
- *://github.com/*
Size: 1.45M
Other platforms
Not available on Firefox
Not available on Edge
Want to check extension ranking and stats more quickly for other Chrome extensions?
Install
Chrome-Stats extension
to view Chrome-Stats data as you browse the Chrome Web Store.
Extension summary
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.
Extension safety
Risk impact
Matisa requires a few sensitive permissions. Exercise caution before installing.
Risk likelihood
Matisa has earned a fairly good reputation and likely can be trusted.
Upgrade to see risk analysis details
Similar extensions
Here are some Chrome extensions that are similar to Matisa:
https://devoresoftware.blogspot.com
3.00 13
michaelcook.tech
N/A 19
fangtiansheng
5.00 34
[email protected]
N/A 27
octref.dev
5.00 11
https://codingwithsam.com
4.00 58
https://moin.im
N/A 19
Laisson Silveira
5.00 36
PhilFrasty
5.00 19
https://www.victorhom.net
N/A 4
https://browsercommands.com
5.00 21
cvic
N/A 33