Blog
The OCaml Planet RSS
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
altergo logo After the public release of Alt-Ergo 0.99.1 last December, it's time to announce a new major private version (1.00) of our SMT solver. As usual: we freely provide a JavaScript version on Alt-Ergo's website we provide a private access to our internal repositories for academia users and o...
This post explains recursive memoize function in OCaml and also introduces untying the recursive knot in OCaml. and its usage....
A little bit about everything, but mostly about fixing annoying tech problems, interesting posts I stumbled on.
Opening keynote at BOB 2015 conference in Berlin on functional operating systems and MirageOS unikernels.
This post describes when to use imperative style in OCaml. It uses binary search, state count, shuffle, memorize, memorize rec, lazy as examples. Also it gives general suggestions on how....
We see how to implement strongly-specified list manipulation functions in Coq. Strong specifications are used to ensure some properties on functions' arguments and return value. It makes Coq type system very expressive.
