Features Pricing Personal Changelog Log in Start free trial

home

feeds

~lobsters

Bookmarks (1) clear filters

Tags

Domains

rust × infoq.com ×

ZetZ is a Formally Verified Dialect of C

infoq.com

development embedded software dev formalmethods iot mobile
- Read
- Add
2

Lightning-speed access to all your important links, from any device and Slack

Made with in Athens and London.

All rights reserved, Tefter 2021 ©

Find us on

Twitter
Indie Hackers
GitHub
YouTube
Our Blog

Get Started

Log in
Start trial
Explore
Feeds
Public teams

Support

Privacy policy

Terms of service

FAQ

Changelog

Add bookmark