Frama-C (@frama_c@fosstodon.org) - Fosstodon
To use the Mastodon web application, please enable JavaScript. Alternatively, try one of the
native apps
for Mastodon for your platform.
