# Matisa

> This extension allows Isabelle math syntax on GitHub to be appropriately typeset.

Canonical page: [https://chrome-stats.com/d/matisa](https://chrome-stats.com/d/matisa)

## Overview

- **ID:** `matisa`
- **Platform:** Firefox
- **Type:** Firefox add-on
- **Status:** Available
- **Publisher:** Firefox user 12498047
- **Category:** appearance,other
- **Daily users:** 4
- **Version:** 1.1.1resigned1
- **Last updated:** 2024-04-25
- **First published:** 2016-08-27
- **Size:** 1.41 MB
- **Data as of:** 2026-09-09
- **Store listing:** [Firefox Add-ons Store](https://addons.mozilla.org/firefox/addon/matisa/)

## Description

Matisa is a Firefox add-on that parses Isabelle syntax on GitHub and renders it using MathJax. It improves the display of Isabelle math equations on GitHub repositories.

## Rankings

- #49,881 — Overall

## Permissions and access

### Permissions

- `*://github.com/*`

### Content script matches

- `github.com`
- `bitbucket.org`

## Safety

- **Risk impact:** Moderate risk impact
- **Risk likelihood:** Moderate risk likelihood

### Analysis details

- Request access to the following domains: github.com, bitbucket.org
- This extension has low user count. Unpopular extensions may not be stable or safe.

> Some risk analysis details are omitted from this free response. [Upgrade to view the full analysis](https://chrome-stats.com/pricing).

## Similar extensions and apps

- [Rendered Maths Solver](https://chrome-stats.com/d/rendered-maths-solver) — 18 users, 1.00 / 5
- [Isabelle markup expander](https://chrome-stats.com/d/isabelle-markup-expander)
- [TeXpress](https://chrome-stats.com/d/texpress) — 1 users
- [MarmoStats](https://chrome-stats.com/d/marmostats) — 1 users, 5.00 / 5
- [Wikipedia with MathJax](https://chrome-stats.com/d/wiki-mathjax) — 196 users, 5.00 / 5
- [Copy LaTeX (KaTeX & MathJax & Wikipedia Images)](https://chrome-stats.com/d/copy-latex) — 316 users, 5.00 / 5
- [MatTalX - Write math symbols PR](https://chrome-stats.com/d/mattalx-write-math-symbols-pr) — 1 users
- [ChatGPT Equation Renderer](https://chrome-stats.com/d/chatgpt-equation-renderer) — 100 users
- [LatexMathifyGitHub](https://chrome-stats.com/d/latexmathifygithub) — 19 users, 3.00 / 5
- [Lucid Math](https://chrome-stats.com/d/lucid-math) — 2 users
- [LaTeX for Jira Cloud - Math Editor](https://chrome-stats.com/d/latex-for-jira-cloud) — 5 users
- [TeXZilla](https://chrome-stats.com/d/texzilla) — 424 users, 5.00 / 5

---

Source: [Chrome-Stats](https://chrome-stats.com/d/matisa)