Skip to content

Instantly share code, notes, and snippets.

@axelbdt

axelbdt/zero-to-catlab.md

Last active March 3, 2023 15:42
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save axelbdt/fd9004ec1b879ac7553a67ddefc5ccbe to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save axelbdt/fd9004ec1b879ac7553a67ddefc5ccbe to your computer and use it in GitHub Desktop.
Download ZIP
Zero to Catlab with Julia
Raw
zero-to-catlab.md

Zero to Catlab with Julia

Install Julia

https://julialang.org/downloads/

or via package manager :

sudo apt install julia

Generate Catlab.jl notebooks

Get the Catlab.jl code

git clone https://github.com/AlgebraicJulia/Catlab.jl.git
cd Catlab.jl/docs
# open julia repl
julia

Install the dependencies

From the repl, switch to pkg mode by typing ]. The prompt should change to pkg>.

activate .
instantiate

Backspace to exit pkg mode. Prompt changes back to julia>.

Build the docs project to generate the notebooks

Switch to shell mode by typing ;. Prompt changes to shell.

julia --project=. main.jl

Build can take a while, but should generate Jupyter notebooks into a directory generated.

Open the Catlab.jl project with VSCode, open the notebooks.

Enjoy :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment