Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.
News
Guarded methods in OCaml
Implementation of "guarded methods" using type equality witnesses
Read more
Report
Meta Garbage Collection: Using OCaml
Soteria is a powerful bug detection tool that reliably and consistently finds bugs in your Rust and C codebase at unmatched speed using symbolic execution.
Read more
Report
Pro access
Upgrade to see all 37 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.