PLDB
Languages Patterns Calendar About Lists Join

zz

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

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

PLDB - Build the next great programming language. v5.0.0 - Email Β· Github