Skip to content
@zetzit

zetz.it - the zz language

Popular repositories Loading

  1. zz zz Public archive

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

    Rust 1.6k 52

  2. nursery nursery Public

    zz module repository for modules not yet in std

    C 3 1

  3. vim vim Public

    zetz vim plugin

    Vim Script 2 3

  4. zzser zzser Public

    (de)serializers

    1

Repositories

Showing 4 of 4 repositories
  • zz Public archive

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

    zetzit/zz’s past year of commit activity
    Rust 1,600 MIT 52 24 8 Updated Jun 17, 2022
  • vim Public

    zetz vim plugin

    zetzit/vim’s past year of commit activity
    Vim Script 2 3 0 1 Updated Nov 16, 2020
  • zzser Public

    (de)serializers

    zetzit/zzser’s past year of commit activity
    0 1 0 0 Updated Aug 14, 2020
  • nursery Public

    zz module repository for modules not yet in std

    zetzit/nursery’s past year of commit activity
    C 3 1 1 0 Updated Jun 20, 2020

Top languages

Loading…

Most used topics

Loading…