github-linguist/linguist

Add support for Metamath

Open

#7,499 opened on Jul 23, 2025

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Ruby (13,466 stars) (5,166 forks)batch import
Add LanguageGood First Issue

Description

Metamath is a simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs.

Language name

Metamath

URL of example repository

https://github.com/metamath/set.mm

URL of syntax highlighting grammar

https://github.com/vsannier/metamath-databases/blob/main/misc/metamath.sublime-syntax

Most popular extensions

.mm

Detected language

Objective C++

Contributor guide

Tech stack
ruby
Domain
toolingdeveloper experience
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
Rubylinguist repository structure
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
75
Research direction
Review the existing language definitions in the linguist repository, e.g., `lib/linguist/languages.yml` or `grammars/`. Add a new entry for Metamath with the `.mm` extension and type 'programming' or 'markup'. Include the syntax highlighting grammar from the provided URL. Run the test suite to verify detection.