logo FEDIDEVS

FEDIDEVS

2 awesome OCaml projects on Mastodon.

Project ocaml OCaml
Header Image

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

chose life not Google
> git.sr.ht/~carnotweat/modshell
, bits of

Last posted Less than a day ago
Posts 8,011
Followers ▼ 5
Following 162
Header Image

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 3 weeks ago
Posts 16
Followers ▼ -1
Following 0