Velaris Lang

A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.

Description excerpted from the original listing, which is linked below.