[b] 2023 Feb 27
[m] 2024 Dec 18
[l] en

Rust Links

Cheat sheets

Rust Language Cheat Sheet

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:

Blessed crates

The unofficially "standard" crates by use-case:

core

Signatures of core types/abstractions on a single page:

Books

Crates

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.

Topics

Wayland

Atomics