zz - Programming language

edit

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

#948on PLDB

6Years Old

Download source code:

git clone https://github.com/aep/zz

Source Code

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

Tags: programming language
zz is developed on GitHub and has 1,600 stars
zz is written in TOML, Rust, Bourne shell, Markdown, YAML, HTML, 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