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.

Type

All Article Video

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.

Add your RSS feed!

Filtering by: Keyword: extlib Clear all

OCaml Weekly News, 09 Jul 2024

acutis cookbook cuihtlauac extlib functor libbpf ocaml-web ocamlformat org pattern matching

09 Jul 2024

Caml Weekly News

Read Article

[ARTICLE]

opam 2.2.0 release!

Feedback on this post is welcomed on Discuss! We are very pleased to announce the release of opam 2.2.0, and encourage all users to upgrade. Please read on for installation and upgrade instructions. NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com, and published in discuss.ocaml...

base-threads base-unix cppo extlib ocp-browser ocp-index opam opam-client opam-installer user-setup

01 Jul 2024

OCamlPro

Read Article

coqffi.1.0.0 In A Nutshell

For each entry of a cmi file, coqffi tries to generate an equivalent (from the extraction mechanism perspective) Coq definition. In this article, we walk through how coqffi works.

axiom coq coqffi extlib foreign function interface impure llist monad typeclass uint

10 Dec 2020

Thomas Letan’s Blog

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?