2 awesome OCaml projects on Mastodon.

Dinosaure
@[email protected]
Last posted
1 day ago
Posts
416
Followers
▼ 245
Following
166
Frama-C
@[email protected]Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…
Based on formal methods, developed mainly in OCaml.
This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.
Last posted
4 months ago
Posts
18
Followers
▼ 66
Following
0