jacquev6 / DrawGrammarLinks
Draw railroad diagrams of EBNF grammars. In browser and on command line
☆69Updated 6 years ago
Alternatives and similar repositories for DrawGrammar
Users that are interested in DrawGrammar are comparing it to the libraries listed below
Sorting:
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- How do you do that recursive GADT thing again?☆28Updated last year
- A custom parser/auto-formatter for Standard ML☆78Updated last month
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Generates random text based on context-free grammars defined in BNF☆39Updated last month
- A collection of programming languages and type systems.☆33Updated last month
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆52Updated last month
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆58Updated last month
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated last year
- An OCaml toplevel (REPL) upgrade☆93Updated 5 months ago
- Experiment on how to bootstrap the OCaml compiler☆107Updated 3 years ago
- ant is not TeX☆23Updated 9 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 6 years ago
- S-expression swiss knife☆45Updated 2 weeks ago
- A simple monadic parser combinator library for OCaml☆67Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- ☆53Updated last month
- OCaml syntax extension for synchronous programming...☆32Updated last year
- literate programming meets unison☆28Updated last week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- The Graphics library from OCaml, in a standalone repository☆71Updated last week
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- SKI combinators☆55Updated 8 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year