- A brief introduction to OCaml6 June 2015
- Building OCaml with Redo
- SML and OCaml: So, why was the OCaml faster?
- Reduced Memory Allocations with ocp-memprof
- OCaml for the Skeptical
- Bringing Fixed-Width Integers to OCaml
- CPU Registers and OCaml
- Implementing Functor in OCaml
- Generic mapping and folding in OCaml
- More monads in OCaml
- Formally verifying the complexity of OCaml programs with CFML -- part 1
- How to implement a spreadsheet
- An overview of OCaml
- OCaml Compiler Hacking: how to add a primitive
- C++ vs OCaml: Ray tracer comparison
- o you're learning OCaml
- Hindley Milner Type Inference
- Translating Unix Philosophy into modern environments
- Starting an OCaml app project using Dune
- Detecting use-cases for GADTs in OCaml | Mads Hartmann
- Unix system programming in OCaml
- coq: Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs
- incremental - Introducing Incremental
- jackline - XMPP client in OCaml
- jingoo - OCaml template engine almost compatible with jinja2
- monad - Fun with monads in OCaml
- ocaml-brotli - High Level, type-safe OCaml bindings to Google's compression library Brotli http://hyegar.com
- ocaml-c3 - OCaml bindings for the Javascript c3 charting library
- ocaml-via-node - This is a command line tool to install OCaml and opam on your machine
- OCaPIC: Programming PIC microcontrollers in OCaml
- Owebl - On OWebl and the State of Web Development in OCaml
- recore - A High-Level Standard Library Overlay for OCaml