github-linguist/linguist

Add support for Metamath

Open

#7.499 geöffnet am 23. Juli 2025

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Ruby (5.166 Forks)batch import
Add LanguageGood First Issue

Repository-Metriken

Stars
 (13.466 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 102T 5h) (19 gemergte PRs in 30 T)

Beschreibung

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

Research-Richtung
Studieren Sie die Linguist Dokumentation zum Hinzufügen einer Sprache. Sehen Sie sich vorhandene Sprachdefinitionen in lib/linguist/languages.yml an und fügen Sie einen neuen Eintrag für Metamath hinzu. Erwägen Sie bei Bedarf das Hinzufügen einer Syntaxhervorhebungs Grammatik. Testen Sie die Änderungen lokal und reichen Sie einen Pull Request ein.
Tech Stack
ruby
Domain
tooling
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75