zz - Programming language

code edit

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

Source code:

git clone https://github.com/aep/zz

#814on PLDB

5Years Old

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

zz is developed on GitHub and has 1,603 stars

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

Language features