LaTeX Solidity and Yul Highlighting via Pygments
-
Updated
Jun 7, 2022 - TeX
LaTeX Solidity and Yul Highlighting via Pygments
A Pygments' extension to Arturo Language
Replacements on some Pygments lexers that matches my flavor
Pygments highlighter for Rzk language (proof assistant for synthetic ∞-categories).
format java code in html, imitating the style of the blue-J IDE
Syntax highlighters/lexers for the Ferrous programming language.
IPython as a system shell and documentation
Pygments lexer for Jason/JaCaMo AgentSpeak
Lexer for the Concise data definition language (CDDL), a notational convention to express CBOR and JSON data structures
enable Pygments to leverage a LSP server - more precisely LSPs SemanticToken Request feature - for syntax highlighting
Pygments lexer for Hack Assembler (Nand2Tetris Assembler)
Pygments lexers for Maude, both batch and interactive.
Pygments lexer for the Daedalus scripting language used in Piranha Bytes Gothic series.
GitHub source code links and syntax highlighting for Sphinx docs
Pygments plugin for SaC syntax highlighting
Add a description, image, and links to the pygments-lexer topic page so that developers can more easily learn about it.
To associate your repository with the pygments-lexer topic, visit your repo's landing page and select "manage topics."