add repo support for 3rdparty modules

zetzit / zz

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

MIT License

1.6k stars 52 forks source link

Closed aep closed 4 years ago

aep commented 4 years ago

also move unfinished modules to nursery

jwerle commented 4 years ago

This is a great start! Thank you!

jwerle commented 4 years ago

I've been still working towards a HTTP(S) solution based on libcurl (for now) over here: https://github.com/zx-project/zx

aep commented 4 years ago

oh nice, those curl modules will come in handy.

since your repo also has a modules/ structure, you should be able to use this repo in other projects now

jwerle commented 4 years ago

awesome