Matisa
This extension allows Isabelle math syntax on GitHub to be appropriately typeset.
Matisa Chrome Extension | Isabelle Math Syntax on GitHub
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
Risk impact: Moderate risk impact 
Risk likelihood:
Manifest version: 2
Permissions:
- *://github.com/*
Size: 1.45M
Other platforms
Not available on Android
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 18
michaelcook.tech
N/A 12
fangtiansheng
5.00 37
[email protected]
N/A 19
octref.dev
5.00 9
https://codingwithsam.com
4.00 50
Laisson Silveira
5.00 33
PhilFrasty
5.00 21
https://www.victorhom.net
N/A 6
https://browsercommands.com
5.00 23
cvic
N/A 27
lwpro2
5.00 27