Homepage
Open in app
Sign in
Get started
General
Formal Methods
OCaml
Releases
About
Website
Tagged in
Releases
OCamlPro
We prototype and develop software solutions in cutting-edge technologies: OCaml, Rust & formal methods.
More information
Followers
27
Elsewhere
More, on Medium
Releases
OCamlPro
in
OCamlPro
Mar 16, 2020
New version of Try OCaml in beta!
We are happy to announce that our venerable “Try Ocaml” service is being retired and replaced by a…
Read more…
51
OCamlPro
in
OCamlPro
Apr 21, 2020
opam 2.1.0 alpha is here!
We are happy to announce the alpha release of Opam 2.1.0, one year and a…
Read more…
25