Algorithms and Data Structures

• Comparing a Machine Learning Algorithm Implemented in F# and OCaml
• OCamlgraph
• ods
• combine
• Decompress - A pure OCaml implementation of Zlib.
• Ke - Fast implementation of queue (FIFO) in OCaml.
• Duff - Implementation of Rabin's fingerprint and delta compression by P. MacDonald in OCaml (same as libXdiff
• ORaft - Library of Raft consensus algorithm implemented in OCaml
• ODiff
• ods

Application Libraries

• React
• Batteries Included - maintained foundation library for your OCaml projects.
• Cmdliner
• Core - fledged standard library overlay. A portable subset of Core is also available: Core_kernel.
• Base - Jane Street Capital's dependency-free, quick-compiling, fully-portable across any environment that can run OCaml code standard library.
• Minicli - line parsing.
• ocaml-rpc
• ocaml-containers

Benchmarking

• Getting Started with Core_bench
• core_bench - benchmarking library for OCaml by Jane Street.
• benchmark - time of functions using latency or throughput.

Blogs

• Gagallium
• Type OCaml – Many things about OCaml
• OCaml Platform
• Drup's Thingies
• Thomas Letan’s articles about OCaml
• Gagallium
• Type OCaml – Many things about OCaml

Books

• More OCaml: Algorithms, Methods, and Diversions
• How to Think Like a (Functional) Programmer - oriented paradigm, or those who simply want to learn OCaml.
• OCaml from the Very Beginning - OCaml from the Very Beginning will appeal both to new programmers, and experienced programmers eager to explore functional languages such as OCaml.
• Pearls of Functional Algorithm Design - It summarizes 30 hard algorithmic problems in the function programming world. Although it is for Haskell, the algorithm problems are very interesting, and trying to solve them in OCaml also helps the thinking of functional programming. Partial solutions in OCaml are here.
• Using, Understanding, and Unraveling OCaml
• Purely Functional Data Structures - This is the first or only book focus on various data structures in FP world. A must-read one.
• Unix System Programming in OCaml
• OCaml for Scientists - by Jon Harrop.
• OCaml for Scientists - by Jon Harrop.
• Purely Functional Data Structures - This is the first or only book focus on various data structures in FP world. A must-read one.
• More OCaml: Algorithms, Methods, and Diversions - scale example dealing with the production of PDF files. There are questions for each chapter, along with worked-out answers and hints.
• OCaml from the Very Beginning - OCaml from the Very Beginning will appeal both to new programmers and experienced programmers eager to explore functional languages such as OCaml.
• Using, Understanding, and Unraveling OCaml

Code Analysis and Linters

• Mascot - Mascot is a style-checker for OCaml sources.
• Infer - Infer is a static analyzer for Java, C and Objective-C
• Frama-C - Frama-C is a static analysis and formal proof framework for C and C++
• pfff - preserving source-to-source transformations such as refactorings on source code.
• flow - flow is a static type checker for JavaScript.
• SLAyer - SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
• MemCAD - MemCAD is an abstract interpreter for shape analysis. MemCAD can verify C programs manipulating complex data structures.
• Camelot - Camelot is a modular and fully configurable OCaml linter and stylechecker.
• coq-of-ocaml - Translator from OCaml to Coq to formally verify OCaml code.
• MOPSA - MOPSA is a generic framework for building sound static analyzers based on the theory of abstract interpretation.

Community

• Official OCaml Website
• OCaml Discourse Web Forum
• OCaml Discord Chat
• Official OCaml Mailing List
• OCaml SubReddit
• OCaml Planet

Compilers and Compiler Tools

• Caramel - Caramel is a functional language for building type-safe, scalable, and maintainable applications.
• cDuce - cDuce is a modern XML-oriented functional language with innovative features.
• Compcert C Compiler - It is a C Compiler supporting most of the ISO C90 and C99 / ANSI C features.
• Eff Programming Language - Eff is a functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O.
• Hack Programming Language
• Haxe Programming Language
• Neko Programming Language - Originally the compiler was written in OCaml.
• OCaml-Java - OCaml to Java bytecode compiler.
• Opa Programming Language
• Rust Programming Language - Originally written in OCaml before bootstrapping.
• Quick C-- Target Language - It is now a dead project. Github Repo. Alternative website.
• RaML - Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs.
• Menhir
• Reason - Friendly syntax & toolchain for OCaml by Facebook.
• Mazeppa - A modern supercompiler for call-by-value functional languages.
• Mezzo Programming Language - Mezzo is a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory.
• OCaml-Java - OCaml to Java bytecode compiler.
• Opa Programming Language
• Rhine
• Quick C-- Target Language - It is now a dead project. Github Repo. Alternative website.
• Liquid ML - Shopify's Liquid Templating language for OCaml.
• Opal - contained monadic parser combinators for OCaml.
• Sedlex - agnostic (read: Unicode-supporting) lexer generator (the ppx-based successor to ulex.)
• Menhir
• Obelisk - text EBNF-style documentation for your grammar.
• Angstrom - Parser combinators built for speed and memory efficiency
• Quick C-- Target Language - It is now a dead project. Github Repo. Alternative website.
• Compcert C Compiler - It is a C Compiler supporting most of the ISO C90 and C99 / ANSI C features.
• cDuce - cDuce is a modern XML-oriented functional language with innovative features.
• ocamllex/ocamlyacc

Concurrency

• Real World OCaml - lwt) is also available.
• Lwt
• Async
• The blog post that introduced Async
• A user gives up on Async
• Effect Handlers - style ones.
• Eio - based direct-style IO for multicore OCaml.
• Miou
• Lwt
• A user gives up on Async
• Effect Handlers - style ones.

Databases

• Dbm
• PG'OCaml - safe interface to PostgreSQL in pure OCaml.
• mysql
• Obigstore - like data model atop LevelDB.
• Implementing the Binary Memcached Protocol with Ocaml and Bitstring
• Interfacing OCaml and PostgreSQL with Caqti
• Finally, Type-Safe, Extensible and Efficient Language Integrated Query
• mysql
• Mongo.ml
• ppx_pgsql
• PostgreSQL-OCaml
• SQLite3
• Sqlite3EZ
• ocaml-redis
• mariadb - Bindings to MariaDB/MySQL, supporting the nonblocking API
• pgx
• mysql_protocol
• Irmin
• RunOrg - It is a WIP database server written in OCaml.
• dokeysto - dumb OCaml key-value store, string keys and string
• Sequoia - Sequoia is a type-safe query builder for MySQL/MariaDB and PostgreSQL
• Macaque
• ORM
• Caqti - Cooperative-threaded access to relational data
• Caqti setence preparation, ppx_rapper
• Interfacing OCaml and PostgreSQL with Caqti

Datetime

• calendar
• ptime
• ISO8601
• odate
• ptime
• calendar

Developer Tools

• Try OCaml
• BetterOCaml - platform web IDE with your OCaml code interpreted and running in your browser!
• codingground
• OCaml: Learn & Code iOS app - Learn and execute OCaml code from your iPhone/iPad/Mac.
• Modular foreign function bindings
• ocp-browser - based API and documentation browser.
• Sublime text package
• ocp-indent
• learn-ocaml - ocaml-corpus. Can be customized to serve lectures (with Markdown slides), playgrounds (with a toplevel prelude), and interactive exercises (with OCaml tests). MIT License.
• learn-ocaml.el - OCaml instance. MIT License.
• Jupyter
• utop - time and context-sensitive completion, colors, and more.
• ocamlformat - A command-line tool to format OCaml code.
• ghim - line tool to manage Github Issues.
• puml2xml
• ocaml-main-program-in-c
• Py.ml - OCaml bindings for Python.
• ocaml-lsp - An LSP language server for OCaml that integrates with any editor that understands LSP like VSCode, Vim and Emacs.
• merlin
• tuareg - OCaml mode for Emacs that can run the toplevel and the debugger within Emacs.
• opam-switch-mode - Minor mode for Emacs that extends Tuareg and Merlin with menus to change or reset the opam switch in the ambient Emacs session.
• merlin-eldoc
• vscode-ocaml
• OCaml Debugger
• Sublime better ocaml
• Sublime text package
• ocp-index - browserandocp-grep`.
• ocp-index-top - index.
• ocp-indent
• Vim plugin
• Bisect_ppx
• Vim plugin
• OCaml: Learn & Code iOS app - Learn and execute OCaml code from your iPhone/iPad/Mac.
• ocamlbrowser

Exercises and Short Examples

• 99 problems
• Rosetta Code
• OCaml at Exercism
• Programming Language Examples Alike Cookbook - The OCaml section of the book is a free reference for solving common programming problems using OCaml.
• learn-ocaml-corpus - to-advanced online exercises (including those from the OCaml MOOC) with automatic grading tests.
• Programming Language Examples Alike Cookbook - The OCaml section of the book is a free reference for solving common programming problems using OCaml.
• OCaml at Exercism

Formal Software Verification

• Coq - interactive development of machine-checked proofs.
• Why3
• Alt-Ergo - Ergo is an open-source SMT solver dedicated to the proof of mathematical formulas generated in the context of program verification.
• Alt-Ergo - Ergo is an open-source SMT solver dedicated to the proof of mathematical formulas generated in the context of program verification.
• Why3

General

• Functional Programming with OCaml
• Python to OCaml: retrospective
• OCaml for the Masses
• Why We Use OCaml
• Xen – OCaml Coding Considerations
• Monads are a class of hard drugs
• Beginner's guide to OCaml
• Why OCaml, why now?
• A blog about game development in OCaml
• (Functional) Alternatives to inheritance
• Learn X in Y minutes - Where X=OCaml.
• Python to OCaml: retrospective
• OCaml for the Masses
• Beginner's guide to OCaml
• A blog about game development in OCaml
• (Functional) Alternatives to inheritance
• camlPDF
• slacko
• Xen – OCaml Coding Considerations

Graphics

• archimedes
• lablgl
• tgls
• cairo2
• Vg