DOCSEARCHbyAlgolia
Submit Docs

antlr-grammars-v4

repository·master·Indexed 27 days ago

https://github.com/antlr/grammars-v4

A centralized collection of formal grammars designed for use with the ANTLR v4 parser generator. It provides ready-to-use grammar files for a wide variety of programming languages and file formats, including Ada (83, 95, 2005, 2012, 2022), Algol 60, Alloy, Alef, ABNF, and others. The repository includes tools and scripts for generating parser/lexer code via antlr4-tools and trgen, as well as utilities for parsing and inspecting input with antlr4-parse.

Tokens
61.7K
Snippets
97
Records
571
Agent score
95%

What's inside antlr-grammars-v4

  3. Overview of the Semantic Versioning Grammar

    master
    This repository provides a parser for the semver 2.0 spec. Beyond standard major/minor/patch versions, this grammar includes support for version 'tags' (e.g., beta3, rc.2). This extended support enables implementers to perform complex version comparisons that include pre-release identifiers, such as comparing the sequence of beta or release candidate versions.

  5. Overview of the SPASS Grammar

    master
    This repository contains the ANTLR v4 grammar for SPASS (Symmetric Prover Automated System for Spass), version 1.5. The grammar was manually scraped from the official SPASS input syntax documentation to allow for parsing SPASS input files using ANTLR-based tools.

  9. Overview of CGTL (Concrete Grammar Transformation Language)

    master
    CGTL (Concrete Grammar Transformation Language) is a language designed to transform Abstract Syntax Trees (ASTs) produced by ANTLR into target textual languages or documentation. It is intended for building Domain-Specific Modeling Language (DSML) tools and performing tasks such as program abstraction or program translation.

  10. Overview of Kirikiri TJS2 Grammar

    master
    This grammar is designed to parse the Kirikiri TJS2 language, which is a JavaScript-like scripting language used by the Kirikiri2 game engine. It is a modified version of the standard ANTLR4 JavaScript grammar. The grammar has been tested against KAG3, KAG3-HAM, and various games.