github-linguist/linguist

Add support for Metamath

オープン

#7,499 opened on 2025/07/23

GitHub で見るコントリビューターガイド
 (0 件のコメント) (0 件のリアクション) (0 人の担当者)Ruby (5,166 件のフォーク)batch import
Add LanguageGood First Issue

Repository metrics

Stars
 (13,466 個のスター)
PR merge metrics
 (PR metrics pending)

説明

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

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

調査方針
Linguistの言語追加ドキュメントを調べてください。lib/linguist/languages.ymlの既存の言語定義を確認し、Metamathの新しいエントリを追加します。必要に応じて、シンタックスハイライトの文法も追加してください。変更をローカルでテストし、プルリクエストを送信してください。
技術スタック
ruby
領域
tooling
Issue 種別
機能
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
2
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3時間
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
新着
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
Git
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
75