4 ms·

I'm guessing at least the sponsors of the OCaml software foundation: https://ocaml-sf.org/sponsors/ https://ocaml-sf.org/sponsors/

• xvilka 7y ago
  Plus Facebook with their Flow[1], Infer[2][3], Airbus with their BinCAT[4], and Frama-C[5]. [1] https://github.com/facebook/flow https://github.com/facebook/flow [2] https://fbinfer.com/ https://fbinfer.com/ [3] https://github.com/facebook/infer https://github.com/facebook/infer [4] https://github.com/airbus-seclab/bincat https://github.com/airbus-seclab/bincat [5] http://frama-c.com/ http://frama-c.com/