zz - Programming language

zz is a programming language created in 2019 by Arvid E. Picciani.

#805on PLDB	4Years Old	1.7kUsers
0Books	0Papers

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

zz is developed on GitHub and has 1,603 stars
HTML of this page generated by LanguagePage.ts

Example from the web:

using <stdio.h>::{printf}

export fn main() -> int {
    let r = Random{
        num: 42,
    };
    printf("your lucky number: %u\n", r.gen());
    return 0;
}

struct Random {
    u32 num;
}

fn gen(Random *self) -> u32 {
    return self->num;
}

zz

zz - Programming language

Language features