about
Just about everything about Rust as succinctly captured as possible:
Iterator
Summarizing the iterator API as usefully-succinctly as possible, using an ad hoc, math-like notation:
The unofficially "standard" crates by use-case:
Signatures of core types/abstractions on a single page:
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.
lol_html
Looks like a good candidate for my pipeline, to refine pulldown-cmark
output:
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.