“ZZ (drunk octopus) is a modern formally provable dialect of C, inspired by rust”はぇぇすっごい(´･_･`)

tanakh のブックマーク 2020/02/05 23:03

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4681105655400576258/comment/tanakh" data-user-id="tanakh" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/zetzit/zz" data-original-href="https://github.com/zetzit/zz" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Fzetzit%2Fzz" data-user-icon="/users/tanakh/profile.png">GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C</a><br><p style="clear: left">“ZZ (drunk octopus) is a modern formally provable dialect of C, inspired by rust”はぇぇすっごい(´･_･`)</p><a class="datetime" href="https://b.hatena.ne.jp/tanakh/20200205#bookmark-4681105655400576258"><span class="datetime-body">2020/02/05 23:03</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

github.com/zetzit2020/02/05

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Re...

22 人がブックマーク・5 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

はてなブックマーク

公式Twitter

はてなのサービス