Interactive Livebooks

Copy Markdown View Source

Choreo's full interactive notebooks live in the repository under livebooks/.

They are intentionally kept out of the generated HexDocs to keep the API documentation fast, focused, and lightweight. Use the notebooks directly in GitHub or open them in Livebook for the best interactive experience.

Notebook collections

  • Walkthrough guides — guided introductions to Choreo diagram types and analysis workflows.
  • Integrations — examples that connect Choreo to Hex, GitHub issues, Mix xref, Ecto schemas, Finitomata, and related tools.
  • Projects — larger end-to-end modeling examples.
  • Extending Choreo — tutorials for building custom diagram vocabularies, renderers, and analysis modules.