# micromark-rs [![Sponsors][sponsors-badge]][opencollective] [![Backers][backers-badge]][opencollective] [![Chat][chat-badge]][chat] A [`CommonMark`][commonmark-spec] compliant markdown parser in [Rust][] with positional info, concrete tokens, and extensions. ## Feature highlights - [x] **[compliant][commonmark]** (100% to CommonMark) - [x] **[extensions][]** (100% GFM, 100% MDX, frontmatter, math) - [x] **[ast][mdast]** (mdast) - [x] **[safe][security]** (100% safe rust, also 100% safe HTML by default) - [x] **[robust][test]** (2300+ tests, 100% coverage, fuzz testing) It’s also `#![no_std]` + `alloc` and has tons of docs. > 🐣 **Note**: coverage is currently within progress. ## When to use this - If you _just_ want to turn markdown into HTML (with maybe a few extensions) - If you want to do _really complex things_ with markdown See [§ Comparison][comparison] for more info ## Intro micromark is markdown parser in Rust. It uses a state machine to parse the entirety of markdown into concrete tokens. Its API compiles to HTML, but its parts are made to be used separately, so as to generate syntax trees or compile to other output formats. `micromark-rs` has a sibling in JavaScript, [`micromark-js`][micromark-js]. - to learn markdown, see this [cheatsheet and tutorial][cheat] - for questions, see [Discussions][chat] - to help, see [contribute][] or [sponsor][] below ## Contents - [Install](#install) - [Use](#use) - [API](#api) - [Extensions](#extensions) - [Examples](#examples) - [Markdown](#markdown) - [Project](#project) - [License](#license) ## Install With [Rust][] (rust edition 2018+, ±version 1.56+), install with `cargo`: ```sh cargo install micromark ``` ## Use ```rs extern crate micromark; use micromark::micromark; fn main() { println!("{}", micromark("## Hello, *world*!")); } ``` Yields: ```html
console.log('it works!')
```
Opening that page in a browser, we’d see that being swapped with:
```html
console.log('it works!')
```
## Markdown
### CommonMark
The first definition of “Markdown” gave several examples of how it worked,
showing input Markdown and output HTML, and came with a reference implementation
(`Markdown.pl`).
When new implementations followed, they mostly followed the first definition,
but deviated from the first implementation, and added extensions, thus making
the format a family of formats.
Some years later, an attempt was made to standardize the differences between
implementations, by specifying how several edge cases should be handled, through
more input and output examples.
This is known as [CommonMark][commonmark-spec], and many implementations now
work towards some degree of CommonMark compliancy.
Still, CommonMark describes what the output in HTML should be given some
input, which leaves many edge cases up for debate, and does not answer what
should happen for other output formats.
micromark passes all tests from CommonMark and has many more tests to match the
CommonMark reference parsers.
### Grammar
The syntax of markdown can be described in Backus–Naur form (BNF) as:
```bnf
markdown = .*
```
No, that’s [not a typo](http://trevorjim.com/a-specification-for-markdown/):
markdown has no syntax errors; anything thrown at it renders _something_.
For more practical examples of how things roughly work in BNF, see the module docs of each `src/construct`.
## Project
micromark is maintained as a single monolithic package.
### Overview
The process to parse markdown looks like this:
```txt
micromark
+-------------------------------------------------+
| +-------+ +---------+--html- |
| -markdown->+ parse +-events->+ compile + |
| +-------+ +---------+-mdast- |
+-------------------------------------------------+
```
### File structure
The files in `src/` are as follows:
- `construct/*.rs`
— CommonMark, GFM, and other extension constructs used in micromark
- `util/*.rs`
— helpers often needed when parsing markdown
- `event.rs`
— things with meaning happening somewhere
- `lib.rs`
— core module
- `mdast.rs`
— syntax tree
- `parser.rs`
— turn a string of markdown into events
- `resolve.rs`
— steps to process events
- `state.rs`
— steps of the state machine
- `subtokenize.rs`
— handle content in other content
- `to_html.rs`
— turns events into a string of HTML
- `to_mdast.rs`
— turns events into a syntax tree
- `tokenizer.rs`
— glue the states of the state machine together
### Comparison
> 🚧 **To do**.
### Test
micromark is tested with the \~650 CommonMark tests and more than 1.7k extra
tests confirmed with CM reference parsers.
Then there’s even more tests for GFM and other extensions.
These tests reach all branches in the code, which means that this project has
100% code coverage.
Fuzz testing is used to check for things that might fall through coverage.
The following scripts are useful when working on this project:
- run examples:
```sh
RUST_BACKTRACE=1 RUST_LOG=debug cargo run --example lib
```
- format:
```sh
cargo fmt
```
- lint:
```sh
cargo fmt --check && cargo clippy -- -D clippy::pedantic -D clippy::cargo -A clippy::doc_link_with_quotes -A clippy::unnecessary_wraps
```
- test:
```sh
RUST_BACKTRACE=1 cargo test
```
- docs:
```sh
cargo doc --document-private-items
```
- fuzz:
```sh
cargo install cargo-fuzz
cargo +nightly fuzz run micromark
```
### Version
micromark adheres to [SemVer](https://semver.org).
### Security
The typical security aspect discussed for markdown is [cross-site scripting
(XSS)][xss] attacks.
Markdown itself is safe if it does not include embedded HTML or dangerous
protocols in links/images (such as `javascript:` or `data:`).
micromark makes any markdown safe by default, even if HTML is embedded or
dangerous protocols are used, as it encodes or drops them.
Turning on the `allow_dangerous_html` or `allow_dangerous_protocol` options for
user-provided markdown opens you up to XSS attacks.
An aspect related to XSS for security is syntax errors: markdown itself has no
syntax errors.
Some syntax extensions (specifically, only MDX) do include syntax errors.
For that reason, `micromark_with_options` returns `Result<(), String>`, of which
the error is a simple string indicating where the problem happened, what
occurred, and what was expected instead.
Make sure to handle your errors when using MDX.
Another security aspect is DDoS attacks.
For example, an attacker could throw a 100mb file at micromark, in which case
it’s going to take a long while to finish.
It is also possible to crash micromark with smaller payloads, notably when
thousands of links, images, emphasis, or strong are opened but not closed.
It is wise to cap the accepted size of input (500kb can hold a big book) and to
process content in a different thread so that it can be stopped when needed.
For more information on markdown sanitation, see
[`improper-markup-sanitization.md`][improper] by [**@chalker**][chalker].
### Contribute
See [`contributing.md`][contributing] for ways to help.
See [`support.md`][support] for ways to get help.
### Sponsor
> 🚧 **To do**.
Support this effort and give back by sponsoring:
- [GitHub Sponsors](https://github.com/sponsors/wooorm)
(personal; monthly or one-time)
- [OpenCollective](https://opencollective.com/unified) or
[GitHub Sponsors](https://github.com/sponsors/unifiedjs)
(unified; monthly or one-time)
## License
[MIT][license] © [Titus Wormer][author]
[sponsors-badge]: https://opencollective.com/unified/sponsors/badge.svg
[backers-badge]: https://opencollective.com/unified/backers/badge.svg
[opencollective]: https://opencollective.com/unified
[docs]: https://wooorm.com/micromark-rs/micromark/
[chat-badge]: https://img.shields.io/badge/chat-discussions-success.svg
[chat]: https://github.com/wooorm/micromark-rs/discussions
[commonmark-spec]: https://spec.commonmark.org
[cheat]: https://commonmark.org/help/
[gfm-spec]: https://github.github.com/gfm/
[rust]: https://www.rust-lang.org
[cmsm]: https://github.com/micromark/common-markup-state-machine
[micromark-js]: https://github.com/micromark/micromark
[xss]: https://en.wikipedia.org/wiki/Cross-site_scripting
[improper]: https://github.com/ChALkeR/notes/blob/master/Improper-markup-sanitization.md
[chalker]: https://github.com/ChALkeR
[license]: https://github.com/micromark/micromark/blob/main/license
[author]: https://wooorm.com
[mdast]: https://github.com/syntax-tree/mdast
[starry-night]: https://github.com/wooorm/starry-night
[contribute]: #contribute
[sponsor]: #sponsor
[commonmark]: #commonmark
[extensions]: #extensions
[security]: #security
[test]: #test
[comparison]: #comparison
[contributing]: .github/contribute.md
[support]: .github/support.md