Shipped: Briev, a programming language

A programming language with light formal verification, built with DX and LLM failure modes in mind. Graph-like construction lends itself to effective native, web and GPU code, while being faster or at parity with C and C++ for several algorithms. Also an experimental FPGA and PCB backend.