13 Mar 2024 - Tarides
OCaml Blog
The OCaml Planet
Lean 4: When Sound Programs become a Choice
Monitoring Edge Technical Endeavours As a company specialized in strongly-typed programming languages with strong static guarantees, OCamlPro closely monitors the ongoing trend of bringing more and more of these elements into mainstream programming languages. Rust is a relatively recent example of t...
07 Mar 2024 - OCamlPro
News
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.