2 awesome OCaml projects on Mastodon.
HoldMyType
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
Last posted
▼ 1 day ago
Posts
6,890
Followers
544
Following
152
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
▼ 3 months ago
Posts
13
Followers
54
Following
0