ligurio / lark-grammars

Grammars suitable for lark parser and Hypothesis

lark grammars

Grammars suitable for lark parser:

• bc, an arbitrary precision calculator language (bc.lark)
• The GEDCOM Standard (gedcom.lark)
• eqn, language reference for mandoc (eqn.lark)
• ISO 8601, date and time format iso-8601.lark)
• mdoc, semantic markup language for formatting manual pages (mdoc.lark)
• MIME Media Types (mime.lark)
• Lua 5.1 language grammar specification (lua.lark)
• TAP13 - The Test Anything Protocol v13 (tap13.lark)
• Palindrome is a word, number, or other sequence of characters which reads the same backward as forward, such as madam or racecar or the number 10801 (palindrome.lark)
• OpenBSD packet filter configuration file (pf.lark)
• phone_number.lark
• Postal Address (postal.lark)
• Python 3 language grammar specification (python3.lark)
• POSIX Regular Expressions (regex.lark)
• reStructuredText Markup Syntax (restructuredtext.lark)
• RFC 822: Standard for ARPA Internet Text Messages (rfc_822.lark)
• RFC 1738: Uniform Resource Locators (URL) (WIP) (rfc_1738.lark)
• RFC 2396: Uniform Resource Identifiers (URI) (rfc_2396.lark)
• RFC 2397: The "data" URL scheme (rfc_2397.lark)
• RFC 5545: Internet Calendaring and Scheduling Core Object Specification (iCalendar) (rfc_5545.lark)
• RFC 6531: SMTP Extension for Internationalized Email (WIP) (rfc_6531.lark)
• RFC 5321: Simple Mail Transfer Protocol (WIP) (rfc_5321.lark)
• robots.txt (robotstxt.lark)
• SQLite (sqlite.lark)
• SubUnit v1 - SubUnit v1 protocol specification (subunit_v1.lark)
• Tom's Obvious, Minimal Language (toml.lark)
• YAML: YAML Ain't Markup Language (yaml.lark)

How-To Use:

$ python -m venv venv
$ python -m pytest tests/test_grammars.py
$ pip install lark_grammars
$ cat example.py
from lark_grammars import grammars                     
grammars.grammar_files['bc'] 

$ python generate.py --grammar grammars/tap13.lark
TAP version 13
1..861602252
not ok # Skipped

# - C o A 2 1 H

See grammars for other parsers:

• ANTLR v4
• PEG

lark-grammars's Issues

Making regex.lark compatible with current version of Lark

Hi,

Thank you for publishing these grammars 😄 👍

I don't know if it was built against an old version of Lark, but I could not parse the regex.lark grammar with the current version.

After fixing all the errors, a version that does parse is:

%import common (INT, DECIMAL)

start		: regex

regex		: regex_ere
		| regex_bre

regex_ere	: rex ~ 1..20

rex		: LETTER 
          	| ( range
            	| rex repetition
            	| rex "|" rex
            	| ( "(" rex ")" | "\\" DECIMAL)
            	| "\\" ("w" | "W" | "<" | ">" | "b" | "B" | "`" | "'" | "r" | "n")
            	| "(" rex+ ")" )

repetition	: "*" | "+" | "?"
         	| "{" INT "}"
         	| "{" INT "," "}"
         	| "{" "," INT"}"
         	| "{" INT "," INT "}"

range		: "[" "^"? range_elt* "$"? "]"

LETTER		: /[0-9a-zA-Z]/

NAMED_RANGE_ELT	: "[:alnum:]"
		| "[:alpha:]"
		| "[:cntrl:]"
		| "[:digit:]"
		| "[:graph:]"
		| "[:lower:]"
		| "[:print:]"
		| "[:punct:]"
		| "[:space:]"
		| "[:upper:]"
		| "[:xdigit:]"

range_elt	: NAMED_RANGE_ELT
         	| LETTER
         	| LETTER "-" LETTER

regex_bre	:

Kind regards

TAP plan can appear at the bottom of the stream too

Hi!

Thanks for lark-grammars, I had a look at the grammar (I'm trying to write a PEG for TAP13) but it looks like the grammar in this repository supports only the plan at the beginning of the stream. From their docs:

It must appear once, whether at the beginning or end of the output.

Thanks!