Metamath tree-sitter grammar
Use in python
Add this repo as dependency, for example:
uv add tree-sitter-metamath
Create a parser:
import tree_sitter_metamath as tsmetamath
from tree_sitter import Language
MM_LANGUAGE = Language(tsmetamath.language())
parser = Parser(MM_LANGUAGE)
Read a metamath database:
from pathlib import Path
tree = parser.parse(Path("path/to/database.mm").read_bytes())
Happy hacking!
1 maintainer
Metadata
1 maintainer
Release files for tree-sitter-metamath 0.1.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| tree_sitter_metamath-0.1.1.tar.gz | 17.4 kB | Details |
Release files / tree_sitter_metamath-0.1.1.tar.gz
| Download URL | tree_sitter_metamath-0.1.1.tar.gz |
|---|---|
| Size | 17.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
77369c804047539621803ea24f78aeb2ca23b09fe54b68dd64690601674d6c14
|
|
BLAKE2b-256 checksum How to use checksums |
c3601042761dde00c94208734935a753d3cf6a0b29ed8b4714854932377312e9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
uv/0.12.6 {"installer":{"name":"uv","version":"0.12.6","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Arch Linux","version":null,"id":null,"libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":null}
|
