mirror of https://github.com/lark-parser/lark.git
192 lines
7.5 KiB
Markdown
192 lines
7.5 KiB
Markdown
# Lark - a modern parsing library for Python
|
|
|
|
Parse any context-free grammar, FAST and EASY!
|
|
|
|
**Beginners**: Lark is not just another parser. It can parse any grammar you throw at it, no matter how complicated or ambiguous, and do so efficiently. It also constructs a parse-tree for you, without additional code on your part.
|
|
|
|
**Experts**: Lark implements both Earley(SPPF) and LALR(1), and several different lexers, so you can trade-off power and speed, according to your requirements. It also provides a variety of sophisticated features and utilities.
|
|
|
|
Lark can:
|
|
|
|
- Parse all context-free grammars, and handle any ambiguity
|
|
- Build a parse-tree automagically, no construction code required
|
|
- Outperform all other Python libraries when using LALR(1) (Yes, including PLY)
|
|
- Run on every Python interpreter (it's pure-python)
|
|
- Generate a stand-alone parser (for LALR(1) grammars)
|
|
|
|
And many more features. Read ahead and find out.
|
|
|
|
Most importantly, Lark will save you time and prevent you from getting parsing headaches.
|
|
|
|
### Quick links
|
|
|
|
- [Documentation @readthedocs](https://lark-parser.readthedocs.io/)
|
|
- [Cheatsheet (PDF)](/docs/lark_cheatsheet.pdf)
|
|
- [Tutorial](/docs/json_tutorial.md) for writing a JSON parser.
|
|
- Blog post: [How to write a DSL with Lark](http://blog.erezsh.com/how-to-write-a-dsl-in-python-with-lark/)
|
|
- [Gitter chat](https://gitter.im/lark-parser/Lobby)
|
|
|
|
### Install Lark
|
|
|
|
$ pip install lark-parser
|
|
|
|
Lark has no dependencies.
|
|
|
|
[![Build Status](https://travis-ci.org/lark-parser/lark.svg?branch=master)](https://travis-ci.org/lark-parser/lark)
|
|
|
|
### Syntax Highlighting (new)
|
|
|
|
Lark now provides syntax highlighting for its grammar files (\*.lark):
|
|
|
|
- [Sublime Text & TextMate](https://github.com/lark-parser/lark_syntax)
|
|
- [vscode](https://github.com/lark-parser/vscode-lark)
|
|
|
|
|
|
### Hello World
|
|
|
|
Here is a little program to parse "Hello, World!" (Or any other similar phrase):
|
|
|
|
```python
|
|
from lark import Lark
|
|
|
|
l = Lark('''start: WORD "," WORD "!"
|
|
|
|
%import common.WORD // imports from terminal library
|
|
%ignore " " // Disregard spaces in text
|
|
''')
|
|
|
|
print( l.parse("Hello, World!") )
|
|
```
|
|
|
|
And the output is:
|
|
|
|
```python
|
|
Tree(start, [Token(WORD, 'Hello'), Token(WORD, 'World')])
|
|
```
|
|
|
|
Notice punctuation doesn't appear in the resulting tree. It's automatically filtered away by Lark.
|
|
|
|
### Fruit flies like bananas
|
|
|
|
Lark is great at handling ambiguity. Let's parse the phrase "fruit flies like bananas":
|
|
|
|
![fruitflies.png](examples/fruitflies.png)
|
|
|
|
See more [examples in the wiki](https://github.com/erezsh/lark/wiki/Examples)
|
|
|
|
|
|
|
|
## List of main features
|
|
|
|
- Builds a parse-tree (AST) automagically, based on the structure of the grammar
|
|
- **Earley** parser
|
|
- Can parse all context-free grammars
|
|
- Full support for ambiguous grammars
|
|
- **LALR(1)** parser
|
|
- Fast and light, competitive with PLY
|
|
- Can generate a stand-alone parser
|
|
- **CYK** parser, for highly ambiguous grammars (NEW! Courtesy of [ehudt](https://github.com/ehudt))
|
|
- **EBNF** grammar
|
|
- **Unicode** fully supported
|
|
- **Python 2 & 3** compatible
|
|
- Automatic line & column tracking
|
|
- Standard library of terminals (strings, numbers, names, etc.)
|
|
- Import grammars from Nearley.js
|
|
- Extensive test suite [![codecov](https://codecov.io/gh/erezsh/lark/branch/master/graph/badge.svg)](https://codecov.io/gh/erezsh/lark)
|
|
- And much more!
|
|
|
|
See the full list of [features in the wiki](https://github.com/erezsh/lark/wiki/Features)
|
|
|
|
|
|
### Comparison to other libraries
|
|
|
|
#### Performance comparison
|
|
|
|
Lark is the fastest and lightest (lower is better)
|
|
|
|
![Run-time Comparison](docs/comparison_runtime.png)
|
|
|
|
![Memory Usage Comparison](docs/comparison_memory.png)
|
|
|
|
|
|
Check out the [JSON tutorial](/docs/json_tutorial.md#conclusion) for more details on how the comparison was made.
|
|
|
|
*Note: I really wanted to add PLY to the benchmark, but I couldn't find a working JSON parser anywhere written in PLY. If anyone can point me to one that actually works, I would be happy to add it!*
|
|
|
|
*Note 2: The parsimonious code has been optimized for this specific test, unlike the other benchmarks (Lark included). Its "real-world" performance may not be as good.*
|
|
|
|
#### Feature comparison
|
|
|
|
| Library | Algorithm | Grammar | Builds tree? | Supports ambiguity? | Can handle every CFG? | Line/Column tracking | Generates Stand-alone
|
|
|:--------|:----------|:----|:--------|:------------|:------------|:----------|:----------
|
|
| **Lark** | Earley/LALR(1) | EBNF | Yes! | Yes! | Yes! | Yes! | Yes! (LALR only) |
|
|
| [PLY](http://www.dabeaz.com/ply/) | LALR(1) | BNF | No | No | No | No | No |
|
|
| [PyParsing](http://pyparsing.wikispaces.com/) | PEG | Combinators | No | No | No\* | No | No |
|
|
| [Parsley](https://pypi.python.org/pypi/Parsley) | PEG | EBNF | No | No | No\* | No | No |
|
|
| [Parsimonious](https://github.com/erikrose/parsimonious) | PEG | EBNF | Yes | No | No\* | No | No |
|
|
| [ANTLR](https://github.com/antlr/antlr4) | LL(*) | EBNF | Yes | No | Yes? | Yes | No |
|
|
|
|
|
|
(\* *PEGs cannot handle non-deterministic grammars. Also, according to Wikipedia, it remains unanswered whether PEGs can really parse all deterministic CFGs*)
|
|
|
|
|
|
### Projects using Lark
|
|
|
|
- [storyscript](https://github.com/storyscript/storyscript) - The programming language for Application Storytelling
|
|
- [tartiflette](https://github.com/dailymotion/tartiflette) - a GraphQL engine by Dailymotion. Lark is used to parse the GraphQL schemas definitions.
|
|
- [Hypothesis](https://github.com/HypothesisWorks/hypothesis) - Library for property-based testing
|
|
- [mappyfile](https://github.com/geographika/mappyfile) - a MapFile parser for working with MapServer configuration
|
|
- [synapse](https://github.com/vertexproject/synapse) - an intelligence analysis platform
|
|
- [Command-Block-Assembly](https://github.com/simon816/Command-Block-Assembly) - An assembly language, and C compiler, for Minecraft commands
|
|
- [SPFlow](https://github.com/SPFlow/SPFlow) - Library for Sum-Product Networks
|
|
- [Torchani](https://github.com/aiqm/torchani) - Accurate Neural Network Potential on PyTorch
|
|
- [required](https://github.com/shezadkhan137/required) - multi-field validation using docstrings
|
|
- [miniwdl](https://github.com/chanzuckerberg/miniwdl) - A static analysis toolkit for the Workflow Description Language
|
|
- [pytreeview](https://gitlab.com/parmenti/pytreeview) - a lightweight tree-based grammar explorer
|
|
|
|
|
|
Using Lark? Send me a message and I'll add your project!
|
|
|
|
### How to use Nearley grammars in Lark
|
|
|
|
Lark comes with a tool to convert grammars from [Nearley](https://github.com/Hardmath123/nearley), a popular Earley library for Javascript. It uses [Js2Py](https://github.com/PiotrDabkowski/Js2Py) to convert and run the Javascript postprocessing code segments.
|
|
|
|
Here's an example:
|
|
```bash
|
|
git clone https://github.com/Hardmath123/nearley
|
|
python -m lark.tools.nearley nearley/examples/calculator/arithmetic.ne main nearley > ncalc.py
|
|
```
|
|
|
|
You can use the output as a regular python module:
|
|
|
|
```python
|
|
>>> import ncalc
|
|
>>> ncalc.parse('sin(pi/4) ^ e')
|
|
0.38981434460254655
|
|
```
|
|
|
|
|
|
## License
|
|
|
|
Lark uses the [MIT license](LICENSE).
|
|
|
|
(The standalone tool is under GPL2)
|
|
|
|
## Contribute
|
|
|
|
Lark is currently accepting pull-requests. See [How to develop Lark](/docs/how_to_develop.md)
|
|
|
|
## Donate
|
|
|
|
If you like Lark and feel like donating, you can do so at my [patreon page](https://www.patreon.com/erezsh).
|
|
|
|
If you wish for a specific feature to get a higher priority, you can request it in a follow-up email, and I'll consider it favorably.
|
|
|
|
## Contact
|
|
|
|
If you have any questions or want my assistance, you can email me at erezshin at gmail com.
|
|
|
|
I'm also available for contract work.
|
|
|
|
-- [Erez](https://github.com/erezsh)
|