rkocman / LLk-Parsing-Table-GeneratorLinks
LL(k) Parsing Table Generator for Automaton with One-Symbol Reading Head
☆13Updated 4 years ago
Alternatives and similar repositories for LLk-Parsing-Table-Generator
Users that are interested in LLk-Parsing-Table-Generator are comparing it to the libraries listed below
Sorting:
- LALR parser implemented in Python with GUI☆12Updated 12 years ago
- Grammar Zoo☆98Updated 7 years ago
- SuperPascal modification - compiles under fpc (Free Pascal).☆18Updated 7 years ago
- The Git repository for the mCRL2 toolset.☆103Updated this week
- Helper class for generating python-like INDENT/DEDENT tokens with antlr4.☆93Updated 2 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆31Updated this week
- A tool for analyzing and transforming context-free grammars.☆229Updated last month
- BNF Converter☆617Updated 3 weeks ago
- Spoofax runtime☆158Updated 8 months ago
- A complete Parser for C-Language using Yacc.☆113Updated 4 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆19Updated 3 weeks ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 4 months ago
- Metamath program - source code for the Metamath executable☆90Updated last month
- Type checking ifdef variability☆79Updated 4 years ago
- A Tree Parser Generator☆102Updated last year
- EbnfStudio can be used to edit and analyze EBNF grammars.☆86Updated last year
- A website for the #proglangdesign community on freenode☆112Updated 2 months ago
- SSA vs ANF☆47Updated 10 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week
- a book about declarative language definition☆23Updated 9 years ago
- The Whiley Compiler (WyC)☆226Updated 2 years ago
- ☆29Updated 4 years ago
- git mirror of the Munich isabelle hg repository☆129Updated last week
- A Dart language and library conformance test suite☆43Updated this week
- The Melange Language Workbench☆29Updated 2 years ago
- The Pika Parser reference implementation☆148Updated last week
- A PEG parsing machine with support for incremental parsing.☆96Updated 11 months ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆208Updated last year
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆300Updated 3 years ago
- A Lustre compiler in Coq☆71Updated this week