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

Users: 28

Rating: 5.00

Version: 1.0.6 (Last updated: 2016-08-28)

Creation date: 2016-08-28

Permissions:

*://github.com/*

Size: 1.45M

Full description: See detailed description

Ranking

# 99,723 ▼ 1,202

Other rankings

#31482 in Workflow & Planning ▲ 1,115

Other platforms

Not available on Android

Not available on Firefox

Not available on Edge

Extension safety

Risk impact

Matisa requires a few sensitive permissions. Exercise caution before installing.

Risk impact analysis details

Critical Request access to the following domains: github.com
High ******* ******* **** *** ****** ***** *** ***** ** ******* **** ********* ********* ** * *********** *****

Risk likelihood

We don't have sufficient data to confidently determine the risk likelihood of Matisa. Use it at your own risk.

Risk likelihood analysis details

High This extension has low user count. Unpopular extensions may not be stable or safe.
Low **** ********* *** ******* **** **** * ****** **** ***** ******** *** **** ****** ** ** ****** *** *****
Low **** ********* *** ***** **** **** * ****** **** ***** ********** *** **** ****** ** ** ****** *** *****
Good **** ********* *** **** **** *******

Upgrade to see full risk analysis details

Similar extensions

Here are some Chrome extensions that are similar to Matisa:

https://devoresoftware.blogspot.com

Asana Responsive Improvements

michaelcook.tech

Spider Devtools

math-with-slackb

[email protected]

https://codingwithsam.com

SourceForge Stats

Laisson Silveira

background color grazer

https://www.victorhom.net

Browser Commands

https://browsercommands.com