github-linguist/linguist

Add support for Metamath

Open

#7,499 opened on 2025年7月23日

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

説明

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

コントリビューターガイド

技術スタック
ruby
領域
toolingdeveloper experience
Issue 種別
feature
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3 hours
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
fresh
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
Rubylinguist repository structure
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
75
調査方針
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.