Questions Concepts
GitHub icon

zz

zz - Programming language

< >

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

Source code:
git clone https://github.com/aep/zz
#754on PLDB 4Years Old

๐Ÿบ๐Ÿ™ 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 Token Example
Print() Debugging โœ“ printf

View source

- Build the next great programming language ยท Search ยท Add Language ยท Features ยท Creators ยท Resources ยท About ยท Blog ยท Acknowledgements ยท Queries ยท Stats ยท Sponsor ยท Traffic ยท Traffic Today ยท Day 305 ยท feedback@pldb.com ยท Logout