{"id":17685465,"url":"https://github.com/pthariensflame/pygments-maude","last_synced_at":"2025-03-30T20:24:44.374Z","repository":{"id":148306782,"uuid":"104535193","full_name":"pthariensflame/pygments-maude","owner":"pthariensflame","description":"Pygments lexers for Maude, both batch and interactive.","archived":false,"fork":false,"pushed_at":"2017-10-03T03:14:38.000Z","size":15,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-24T20:07:45.474Z","etag":null,"topics":["maude","pygments-lexer","syntax-highlighting"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/pthariensflame.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-09-23T02:27:08.000Z","updated_at":"2023-02-07T15:11:17.000Z","dependencies_parsed_at":null,"dependency_job_id":"b53c2089-02b8-46e7-a7d0-e8ba88b9396c","html_url":"https://github.com/pthariensflame/pygments-maude","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pthariensflame%2Fpygments-maude","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pthariensflame%2Fpygments-maude/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pthariensflame%2Fpygments-maude/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pthariensflame%2Fpygments-maude/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pthariensflame","download_url":"https://codeload.github.com/pthariensflame/pygments-maude/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246375136,"owners_count":20767049,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["maude","pygments-lexer","syntax-highlighting"],"created_at":"2024-10-24T10:27:52.758Z","updated_at":"2025-03-30T20:24:44.348Z","avatar_url":"https://github.com/pthariensflame.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Pygments Lexers for Maude\n\nThis [Python](https://www.python.org) module provides\n[Pygments](http://pygments.org) lexers for the\n[Maude](http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System)\nlanguage and its interactive environment; this allows Pygments to\nhighlight these languages just like any others it supports.\n\n## Command-Line Usage\n\nIn order to use these lexers on the command line, pass the parameter `-l\n/path/to/pygments_maude.py:MaudeLexer -x` (for batch Maude code) or\n`-l /path/to/pygments_maude.py:MaudeLogLexer -x` (for Maude system\ninteraction logs) to the `pygmentize` comand in place of a language\nflag (where `/path/to/pygments_maude.py` should be replaced by the\nactual local path to the file\n[`pygments_maude.py`](https://raw.githubusercontent.com/pthariensflame/pygments-maude/master/pygments_maude.py)\nfrom this repository).\n\n## LaTeX/`minted` Usage\n\nIn order to use these lexers with [LaTeX](http://www.latex-project.org) and\n[`minted`](https://github.com/gpoore/minted), put the following lines\ninto your document preamble:\n\n``` latex\n\\usepackage{xparse}\n\\NewExpandableDocumentCommand\\maudeLexer{}{pygments_maude.py:MaudeLexer -x}\n\\NewExpandableDocumentCommand\\maudeLogLexer{}{pygments_maude.py:MaudeLogLexer -x}\n```\n\nThen place the the file\n[`pygments_maude.py`](https://raw.githubusercontent.com/pthariensflame/pygments-maude/master/pygments_maude.py)\nfrom this repository into the same directory as your document; you\nshould now be able to use `\\maudeLexer` and `\\maudeLogLexer` as\nlanguages recognized by all `minted` commands. (Note that this will\nrequire a fairly recent version of `minted`, as well as a TeX install\nthat supports [LaTeX3](https://www.latex-project.org/latex3/).)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpthariensflame%2Fpygments-maude","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpthariensflame%2Fpygments-maude","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpthariensflame%2Fpygments-maude/lists"}