Yeah, the school system I work for doesn’t allow students or teachers to run executables. Which can be somewhat amusing if someone brings in a Sandisk thumb drive.
That's okay. The Windows System User will still run them.
I haven’t been in a school for a couple of years, but last time I checked each high school kid gets a bit of personal space on the server for documents. Homework is carried on floppy disks. Anyone bring in documents on non-standard media takes it to the Library (media center) for conversion to floppy disk.
Any project needing some special operating system or feature is done on an off-line computer. Any computer getting hosed by accident or vandalism gets re-imaged.