search

zetzit / zz

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

emit nodejs package #28

Closed aep closed 4 years ago

jwerle commented 4 years ago

@aep Do you have a general summary about this PR? It looks interesting

aep commented 4 years ago

@jwerle hopefully this is a start. feel free to open a bug if you have questions

https://github.com/aep/zz/wiki/using-zz-in-other-ecosystems

jwerle commented 4 years ago

@aep Looks like a great start. Thanks!