Alacris

Alacris is a blockchain operating system offering a catalog of software primitives, a domain‑specific language and verified compilation, fraud detection/recovery, and layer‑1/2 bridges to simplify DApp development.