zz is a programming language created in 2019 by Arvid E. Picciani.
#926on PLDB | 5Years Old |
git clone https://github.com/aep/zz
๐บ๐ ZetZ a zymbolic verifier and tranzpiler to bare metal C
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;
}
Feature | Supported | Example | Token |
---|---|---|---|
Print() Debugging | โ | printf |