github-linguist/linguist

Add support for Metamath

Open

#7,499 建立於 2025年7月23日

在 GitHub 查看
 (0 留言) (0 反應) (0 負責人)Ruby (13,466 star) (5,166 fork)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
議題類型
feature
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
3
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
1-3 hours
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
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.