Looking forward to zulip chat room

zetzit / zz

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

MIT License

1.6k stars 52 forks source link

Closed damon-kwok closed 3 years ago

damon-kwok commented 4 years ago

jwerle commented 4 years ago

Zulip looks interesting. We already have an IRC channel going #zetz

aep commented 3 years ago

since multiple people asked, i created the zulip thing. let me know if i should change any settings. https://zetz.zulipchat.com/

damon-kwok commented 3 years ago

@aep This site is currently unregistered and needs to be invited to join.

aep commented 3 years ago

oh i didnt realize it works like discord i guess.

here's the invite link