The following links are clickable versions of their corresponding Juvix
programs. The HTML output can be generated by running
juvix html --recursive FileName.juvix.
The Juvix standard library contains common functions that can be used in Juvix programs.
The following links navigate to example Juvix programs running as Web apps: