zz

zz is a programming language created in 2019. 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

#851on PLDB

3Years Old

1.7kUsers

zz is developed on github and has 1,603 stars
zz first appeared in 2019
Have a question about zz not answered here? Open an issue explaining what you need.

Example code 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;
}

Article source