Alternatives and similar repositories for DrawGrammar:

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

• janestreet / sexp
  S-expression swiss knife
  ☆44Updated 4 months ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆71Updated last week
• jkoppel / ecta
  ☆34Updated 11 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆108Updated 3 months ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last month
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 2 months ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆28Updated 2 weeks ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 7 months ago
• MatthewFluet / smelt
  Forging Standard ML (SML) in emacs
  ☆10Updated 2 years ago
• Chris00 / ocaml-cairo
  Binding to Cairo, a 2D Vector Graphics Library.
  ☆55Updated 4 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆29Updated 5 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated 3 weeks ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆49Updated 6 years ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆50Updated 11 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• janestreet / sexp_pretty
  S-expression pretty-printer
  ☆21Updated 7 months ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated 2 years ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆104Updated 2 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆39Updated last month
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago