Welcome to IntrastiBETA

Welcome to the web’s premier discovery engine.

1 result
Expert Solutions for Complex Challenges | OCamlPro opam.ocamlpro.com OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.