Alternatives and similar repositories for Ebnf2ps

Users that are interested in Ebnf2ps are comparing it to the libraries listed below

• bobappleyard / pascal-lisp
  A very simple Lisp (well, Scheme... ish) interpreter in Pascal
  ☆26Updated 15 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆60Updated 6 months ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆47Updated last year
• proebsting / goaldi
  ☆36Updated 11 months ago
• jluningp / smlformat
  An auto-formatter for the Standard ML language
  ☆23Updated 5 years ago
• rusimody / gofer
  ☆42Updated 2 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• CapelliC / hhprolog
  hitchhiker Prolog - an implementation of a novel virtual machine
  ☆12Updated 2 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• vscosta / yap
  ☆62Updated last month
• zebreus / prolog-chess
  A simple minimax chess engine written in prolog
  ☆11Updated 2 years ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆74Updated 7 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• NeonMan / gema
  gema - general purpose macro processor
  ☆17Updated 11 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆17Updated 5 years ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆35Updated 2 weeks ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• soegaard / minipascal
  MiniPascal implemented in Racket
  ☆92Updated 4 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆62Updated 4 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆55Updated 5 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆173Updated 7 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 6 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• Spivoxity / obc-3
  Oxford Oberon-2 compiler
  ☆48Updated 10 months ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆29Updated 2 weeks ago