Bend HTTP Server

An HTTP/1.1 server in Bend 2 with concurrent connection handling and routes that demonstrate CPU-parallel and GPU-dispatched computation. Health and runtime-information endpoints make the example easy to inspect.

Request parsing and routing are separated from socket effects, while LAWS.bend and PROOF.bend express equivalence properties for the compute paths. Native compilation enables the multicore/GPU execution paths; the JavaScript development backend remains single-threaded. A focused server experiment rather than a full web framework.