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.0
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.0.tar.gz | 17.4 kB | Details |
Release files / tree_sitter_metamath-0.1.0.tar.gz
| Download URL | tree_sitter_metamath-0.1.0.tar.gz |
|---|---|
| Size | 17.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
d7d89184f597b9db7b17b6d5e6eb16937af63913547c1ace481cc6b75beed39b
|
|
BLAKE2b-256 checksum How to use checksums |
87f778cd072b2bcb3c4c4ac2679e7e0e5bbdf8291a121e843323f0deddac9253
|
| 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}
|
