Rust Links

• Iterator Cheat Sheet

  Summarizing the iterator API as usefully-succinctly as possible, using an ad hoc, math-like notation.

  • https://danielkeep.github.io/itercheat_baked.html

• flux

  Flux is a refinement type checker for Rust that lets you specify a range of correctness properties and have them be verified at compile time.

  • https://flux-rs.github.io/flux/
  • https://github.com/flux-rs/flux
  • https://github.com/flux-rs/flux-demo

• lol_html

  Looks like a good candidate for my pipeline, to refine pulldown-cmark output: https://lib.rs/crates/lol_html

• heradoc

  Found when looking for subscript support in pulldown-cmark: https://github.com/raphlinus/pulldown-cmark/issues/359

  Heradoc is a markdown to LaTeX converter. It is a very biased partial reimplementation of pandoc with a pinch of hackmd.

  • https://github.com/oberien/heradoc/