Metamath Syntax Highlighting
Verified publisherWhat a VS Code verified publisher badge means, compared with Open VSX →
Tracked since 5 Sept 2026
Daily readings on both stores, taken by us. As of 25 Sept 2026.
Installs and downloads per day, last 7 daysDay-over-day change in each store's counter.
Each bar is one day’s change in the store’s own counter.
Seven days here. Tracking adds every day since 5 Sept 2026, with release markers.Track this extension
Where Metamath Syntax Highlighting ranks in search
Positions observed daily on both stores. Neither store publishes this, and the two run separate search engines over separate catalogues.
| Search | Marketplace | Open VSX |
|---|---|---|
| syntax highlighting | #183of 8,304↓46 7d | — |
| highlighting | #262of 5,940↑41 7d | — |
One more search, day-by-day history, and the extensions ranked above it. See plans | ||
VS Code Marketplace search ranking: measuring jitter and real movement →
Marketplace
- Installs
- 423+0.5% 7d
- Rating
- 5.0from 1 ratings
- Rank in Programming Languages
- >1,000of 22,338
- Latest
- v0.0.331 Aug 2019
3 releases · first published Aug 2019
What the publisher says
Metamath Syntax Highlighting’s own readme, changelog and license, as published to the VS Code Marketplace.