MOPSA

gitlab.comsite

from

OCaml

added

2026-10-10

likes

0

similar

1. ▲
   OPAM opam.ocamlpro.com

   site category #ocaml link ↗
2. ▲
   MetaOCaml okmij.org

   site category #ocaml link ↗
3. ▲
   lacaml mmottl.github.io

   site category #ocaml link ↗
4. ▲
   PG'OCaml pgocaml.forge.ocamlcore.org

   site category #ocaml link ↗
5. ▲
   Smt.ml github.com

   tool category #ocaml link ↗
   
6. ▲
   multiposter codeberg.org

   site category #cl link ↗
   

OCaml › Code Analysis and Linters: “MOPSA is a generic framework for building sound static analyzers based on the theory of abstract interpretation.”