Welcome to IntrastiBETA
The good part of the internet, nicely organized.
- 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. 0 0
