jacquev6 / DrawGrammar
Draw railroad diagrams of EBNF grammars. In browser and on command line
☆65Updated 6 years ago
Alternatives and similar repositories for DrawGrammar:
Users that are interested in DrawGrammar are comparing it to the libraries listed below
- Experiment on how to bootstrap the OCaml compiler☆103Updated 2 years ago
- The Caml Light implementation of the Caml language☆65Updated last year
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- The Boomerang Bidirectional Programming Language☆75Updated last year
- literate programming meets unison☆27Updated 9 months ago
- ant is not TeX☆23Updated 8 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 5 years ago
- OCaml code to construct an NFA from a regular expression☆50Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A custom parser/auto-formatter for Standard ML☆75Updated last year
- C-style preprocessor for OCaml☆108Updated 2 months ago
- SML Parser Combinator Library☆27Updated 8 years ago
- A simple monadic parser combinator library for OCaml☆66Updated 2 years ago
- S-expression swiss knife☆44Updated 2 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆50Updated 10 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Binding to Cairo, a 2D Vector Graphics Library.☆55Updated 3 months ago
- A Deductive Verification Tool for OCaml Programs☆67Updated last week
- A template for you to implement Hazelnut yourself☆21Updated last month
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Updated 3 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- A deterministic parser with fused lexing☆72Updated last year
- An OCaml toplevel (REPL) upgrade☆85Updated last month
- Owl Tutorial☆6Updated 2 months ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Effect-Driven Compiler Tester for OCaml☆38Updated 5 years ago