El llenguatge Julia
Observable
Quarto
Lean