Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Who uses Parol

Veryl

Purpose: Modern Hardware Description Language (HDL) as an alternative to SystemVerilog. LL(3) grammar with nearly 1200 productions.

Parol Usage: Grammar definition and parser generation for the Veryl language.

Parol Version: v4.3

sdcx

Purpose: Toolkit and library for parsing and validating SDC (Synopsys Design Constraints).

Parol Usage: SDC grammar in sdc.par, parser is generated by Parol during the build process.

Parol Version: v0.30.0

rumoca

Purpose: A modern Modelica compiler and symbolic interoperability platform written in Rust.

Parol Usage: LL(3) Modelica grammar with more than 500 productions in modelica.par, parser is generated by Parol during the build process.

Parol Version: v4.2

wiki-corpus

Purpose: Extraction of text from Wikipedia dumps in JsonLines format.

Parol Usage: Custom grammar in wiki-corpus-grammar / wiki-corpus-parser, parser generation with Parol.

Parol Version: v1.0.2

libyang

Purpose: Rust implementation/library for YANG schemas.

Parol Usage: YANG grammar in yang.par, parser generation with Parol.

Parol Version: v0.31

eure

Purpose: Minimalist, schema-friendly data/document format with its own DSL.

Parol Usage: Mentioned in TODO list as "swon-parol"; credits acknowledge Parol as parser generator.

Parol Version: v4.4

Desk

Purpose: "Application platform for your cyberpunk desk" with its own language Desk-lang.

Parol Usage: Formal language definition and parser generation (among others, in the context of the formal definition of Desk-lang).

Parol Version: v0.21.5

glp_parser

Purpose: Parser for GLP files from the ICCAD 2013 Contest.

Parol Usage: GLP grammar in glp_parser.par, parser generation via build.rs with Parol.

Parol Version: v1.0.3

parse-rosetta-rs

Purpose: Benchmark and comparison project for various parser APIs in Rust.

Parol Usage: Parol as one of the tested parser implementations (LL(k)/LALR(1)), integration via build script.

Parol Version: v4.3.5

rocsho

Purpose: Experimental programming language "RocSho".

Parol Usage: Language grammar in rocsho.par, parser generation in the build process.

Parol Version: v0.22.0

raa_tt

Purpose: Propositional Logic Prover with CLI and library.

Parol Usage: Grammar in raa_tt.par / raa_tt-exp.par, parser generation with Parol; README explicitly describes the workflow.

Parol Version: v4.2

semantic_triples

Purpose: Example project: parsing semantic triples and output as Graphviz DOT.

Parol Usage: Grammar in semantic_triples.par / semantic_triples-exp.par, parser generation with Parol.

Parol Version: v4.2

la_dfa_2_dot

Purpose: Tool for visualizing Parol's lookahead DFAs as Graphviz DOT.

Parol Usage: Custom grammar (la_dfa_2_dot.par), parser generation with Parol; processes parsers generated by Parol.

Parol Version: v4.2

parsym

Purpose: Symbol table browser for Parol (GUI for exploring symbols).

Parol Usage: Uses Parol-generated symbol data structures; not a classical parser itself, but closely coupled with Parol.

Parol Version: v3

parol_symbols

Purpose: Viewer for Parol-generated grammar data types (Tauri/React GUI).

Parol Usage: Works directly with Parol-generated structures; development tool around Parol.

Parol Version: v0.21.3

parol-ls

Purpose: Language Server for Parol grammars (.par files), including for VSCode.

Parol Usage: Language Server built with Parol itself (parol_ls.par / parol_ls-exp.par) and analyzes Parol grammars.

Parol Version: v4.4