In case it's not clear it's the same single file that runs on all supported operating systems. One file, run anywhere.
Love this software.
Can't say I understand how it works in depth but as something to tinker with it's amazing. So clever.
I can already imagine people telling you to install certbot and putting Apache in front of this...
Not to be confused with https://www.redbeanphp.com/
Redbean is awesome
I made the website for my wedding with Redbean, just for a bit of fun. It was a delightful experience. Deployment was just: upload one file, restart a process. I developed on my Mac, and deployed the executable, unchanged, to a Linux server. It just worked. Nice.