Repositories list

• zz

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

  Rust

  •

  MIT License

  •52•1.6k•24•8•Updated Jun 17, 2022Jun 17, 2022

• vim

  Public
  zetz vim plugin

  Vim Script

  •3•2•0•1•Updated Nov 16, 2020Nov 16, 2020

• zzser

  Public
  (de)serializers

  1•0•0•0•Updated Aug 14, 2020Aug 14, 2020

• nursery

  Public
  zz module repository for modules not yet in std

  C

  •1•3•1•0•Updated Jun 20, 2020Jun 20, 2020