Measures 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
#752on PLDB 5Years 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 ยท Day 605 ยท feedback@pldb.io ยท Logout