github-linguist/linguist

Add support for Metamath

Open

#7 499 ouverte le 23 juil. 2025

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Ruby (5 166 forks)batch import
Add LanguageGood First Issue

Métriques du dépôt

Stars
 (13 466 stars)
Métriques de merge PR
 (Merge moyen 102j 5h) (19 PRs mergées en 30 j)

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++

Guide contributeur

Direction de recherche
Étudiez la documentation de Linguist sur l'ajout d'une langue. Consultez les définitions de langue existantes dans lib/linguist/languages.yml et ajoutez une nouvelle entrée pour Metamath. Envisagez d'ajouter une grammaire de surlignage syntaxique si nécessaire. Testez les modifications localement et soumettez une pull request.
Stack technique
ruby
Domaine
tooling
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75