Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

zz

< >

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

#926on PLDB 5Years Old
Download source code:
git clone https://github.com/aep/zz
Source Code

๐Ÿบ๐Ÿ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C


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

Language features

Feature Supported Example Token
Print() Debugging โœ“ printf
View source
- Build the next great programming language ยท About ยท Search ยท Keywords ยท Livestreams ยท Labs ยท Resources ยท Acknowledgements ยท Part of the World Wide Scroll