To run most of the examples, enter

nix develop

For web ones, run

nix develop .#web

(script named server becomes available)