github-linguist/linguist

Add support for Metamath

Open

#7499 aperta il 23 lug 2025

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Ruby (5166 fork)batch import
Add LanguageGood First Issue

Metriche repository

Star
 (13.466 star)
Metriche merge PR
 (Merge medio 102g 5h) (19 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Studia la documentazione di Linguist per aggiungere un linguaggio. Guarda le definizioni di linguaggio esistenti in lib/linguist/languages.yml e aggiungi una nuova voce per Metamath. Considera di aggiungere una grammatica di evidenziazione della sintassi se necessario. Testa le modifiche localmente e invia una pull request.
Tech stack
ruby
Dominio
tooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75