Alternatives and similar repositories for ebnf-convert

Users that are interested in ebnf-convert are comparing it to the libraries listed below

• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 11 months ago
• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆51Updated 10 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated 11 months ago
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆26Updated last year
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆25Updated 3 years ago
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated last year
• rain-1 / tarot-compiler
  ☆18Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆57Updated 3 weeks ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated last year
• rewriting / tom
  ☆34Updated 5 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆75Updated 7 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated 2 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated 2 weeks ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated this week
• adamrk / scheme2luac
  A Scheme compiler to Lua bytecode
  ☆22Updated 8 years ago
• vscosta / yap
  ☆62Updated last month
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• stokito / fortress-lang
  ☆58Updated 8 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• yumaikas / onion
  Stack language compiled to lua
  ☆22Updated 10 months ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 6 years ago
• slatex / RusTeX
  A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
  ☆32Updated 2 months ago