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

• akshayhebbarys / lalr-parser
  LALR parser implemented in Python with GUI
  ☆12Updated 12 years ago
• yshavit / antlr-denter
  Helper class for generating python-like INDENT/DEDENT tokens with antlr4.
  ☆92Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated this week
• Strumenta / MPSServer
  ☆21Updated last year
• eclipse-archived / xtext-core
  xtext-core
  ☆116Updated 2 years ago
• antlr / antlr4-lab
  A client/server for trying out and learning about ANTLR
  ☆44Updated last year
• slebok / zoo
  Grammar Zoo
  ☆95Updated 6 years ago
• SableCC / sablecc
  SableCC
  ☆151Updated last year
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• BNFC / bnfc
  BNF Converter
  ☆611Updated this week
• antlr / antlr5
  ☆72Updated last year
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆212Updated last week
• antlr / Antlr4Formatter
  Formatter for ANTLR 4 grammars
  ☆48Updated 11 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• premun / ingrid
  Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar
  ☆23Updated 6 years ago
• YuhanLiin / Lexer-and-Parser-Python
  A complete parser generator which tokenizes the input string before creating a abstract syntax tree by processing the tokens with a conte…
  ☆12Updated 9 years ago
• eprover / eprover
  ☆153Updated 2 weeks ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆146Updated 3 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• dahliaOS / web_browser
  dahliaOS Web Browser
  ☆13Updated 3 years ago
• TheAliceProject / alice3
  The Alice 3 block-based IDE desktop application. Also contains a NetBeans plugin to extend development into java.
  ☆164Updated this week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆443Updated last week
• kaby76 / Trash
  Toolkit for grammars
  ☆92Updated last month
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆87Updated 2 months ago
• SSW-CocoR / CocoR-Java
  Coco/R for Java
  ☆14Updated 4 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆127Updated last week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆155Updated 2 months ago
• cpc6128 / LangageLinotte
  Code source officiel du langage de programmation Linotte - Langage de programmation en français simple créé dans le but de permettre aux …
  ☆45Updated last year
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago