search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

msgpack #108

Closed aep closed 4 years ago

aep commented 4 years ago

this probably should not be part of the core repo

jwerle commented 4 years ago

maybe the nursery?

aep commented 4 years ago

nah nursery is stuff that should be part of core but isnt good enough yet.

i put it here https://github.com/zetzit/zzser

jwerle commented 4 years ago

oh yeah duh and nice even better