Alternatives and similar repositories for Ebnf2ps:

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

• michaelfeathers / vih
  a simple vi clone written in Haskell
  ☆28Updated 15 years ago
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆25Updated 5 years ago
• aionescu / oplang
  Stack-based esoteric programming language
  ☆18Updated 3 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆37Updated 9 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 3 weeks ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 8 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆11Updated last year
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 6 months ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 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…
  ☆57Updated 11 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆31Updated last week
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 4 months ago
• serokell / foundry
  Morte IDE
  ☆29Updated last month
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 5 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆23Updated 6 months ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated last week
• rusimody / gofer
  ☆40Updated 2 years ago
• Huxpro / WasmCert
  A (in-development) Coq mechanization of WebAssembly specification.
  ☆21Updated 3 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 5 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• nanopass / nanopass.github.io
  ☆13Updated 4 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Updated 3 years ago
• alhassy / HaskellCheatSheet
  A reference sheet for the basics of the mind-expanding Haskell language ^_^
  ☆30Updated 5 years ago