Alternatives and similar repositories for DrawGrammar

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

• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 5 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• dmbaturin / bnfgen
  Generates random text based on context-free grammars defined in BNF
  ☆40Updated 5 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 6 months ago
• ehatti / konna
  ☆16Updated 3 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆30Updated 6 years ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆32Updated 2 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆64Updated last week
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆29Updated 10 months ago
• janestreet / sexp
  S-expression swiss knife
  ☆47Updated this week
• contificate / match
  Match compilation algorithm in OCaml
  ☆30Updated 9 months ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆55Updated 5 months 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
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated this week
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆84Updated 3 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 5 years ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 4 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆110Updated 3 weeks ago