Links

• ​Introduction to OCaml (2018)​

• ​Functional Programming in OCaml (2020) (HN)

• ​Dune - Composable build system for OCaml.

• ​Unix system programming in OCaml​

• ​Esy - Package.json workflow for native development with Reason/OCaml.

• ​mlsub - Prototype type inference engine.

• ​OCaml for Haskellers​

• ​WebAssembly backend for OCaml (2018)​

• ​Jane and the Compiler (2018)​

• ​Jane Street OCaml Workshop - Exercises and projects for Jane Street's OCaml Workshop. Updated to 2019.

• ​HN: OCaml for the masses (2011)​

• ​Solutions to Functional Programming in OCaml MOOC course​

• ​The OCaml Platform 1.0 - Reason ML (2018)​

• ​OCamlFormat - Auto-formatter for OCaml code.

• ​utop - Universal toplevel for OCaml.

• ​How come Ocaml isn't more popular? (2019)​

• ​Multicore OCaml - Goal of Multicore OCaml is to add shared memory parallelism to OCaml. (GitHub)

• ​Dune starter kit - Provides templates to help you start an OCaml project. It can be used to create multiple libraries, multiple executables, and test suites.

• ​OCaPIC - Programming PIC microcontrollers in OCaml.

• ​MetaOCaml -- an OCaml dialect for multi-stage programming​

• ​OCaml RFCs​

• ​GoCaml - Subset of OCaml in Go based on MinCaml using LLVM.

• ​Haskell vs OCaml (2019) (Reddit)

• ​OCaml Runtime for AWS Lambda (Talk)

• ​Lightweight OCaml Webapp Tutorial​

• ​oskel - Skeleton generator for OCaml projects.

• ​OCaml-CI - CI for OCaml projects.

• ​OCurrent - Allows you to specify a workflow / pipeline for keeping things up-to-date.

• ​Real World OCaml book - Functional programming for the masses. (Code)

• ​Domical - In-browser OCaml notebooks.

• ​Bisect_ppx - Code coverage for OCaml and Reason.

• ​An in-depth Look at OCaml’s new “Best-fit” Garbage Collector Strategy (2020) (HN)

• ​Jane Street and the OCaml Compiler (2018) (HN)

• ​HN: OCaml 4.10 (2020)​

• ​Code using GADT in OCaml​

• ​Freestanding OCaml runtime​

• ​Retrofitting Parallelism onto OCaml (2020) (Article)

• ​Notes and findings from our OCaml benchmarking adventures​

• ​MinCaml compiler implemented in Rust​

• ​modern-ocaml - Template for an ocaml project with modern tooling.

• ​Unreal world OCaml - Introductory book on OCaml. (Code)

• ​OCaml Forum​

• ​Multicore OCaml: May 2020 update (HN)

• ​Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)​

• ​Composable Error Handling in OCaml (2018)​

• ​opam - OCaml Package Manager. (Code)

• ​OCaml Scientific Computing Book - Functional programming meets data science. (HN) (Draft discussion)

• ​OCaml for Scientists​

• ​OCaml 2020 All Videos​

• ​OCaml-Java - Run OCaml code on a JVM, and manipulate Java entities from OCaml.

• ​OCaml Labs​

• ​Multicore OCaml: September 2020 (HN)

• ​duniverse - Experimental vendoring system for Dune.

• ​Toy compiler for subset of OCaml written in Go​

• ​OCaml website code​

• ​Darklang: Leaving OCaml (2020) (HN) (Lobsters)

• ​OCamlPro - Harnessing Cutting-Edge Technologies. (GitHub)

• ​OCaml Cheat Sheets - OCaml Documentations as one-pagers, easy to keep useful commands in mind. (Code)

• ​Overview of the main OCaml CI services​

• ​A Taste of OCaml's Predictable Performance (2020)​

• ​ocamlearlybird - Debug adapter purely written in OCaml.

• ​OCaml-LSP - OCaml Language Server Protocol implementation.

• ​drom - Wrapper over opam/dune in an attempt to provide a cargo-like user experience.

• ​On Effectiveness of Exceptions in OCaml (Reddit)

• ​Memthol - Visualizer for memory profiling data generated from OCaml programs.

• ​Modular implicits in OCaml (Code)

• ​The _intf trick (2020) - Trick for avoiding duplication of types between .ml and .mli files.

• ​OCaml Operator Lookup - Enter an OCaml operator to learn more about it.

• ​Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations (2021)​

• ​Solving the Jane Street puzzle of Dec 2020 - Backtracking with OCaml (2021)​

• ​Retrofitting Effect Handlers onto OCaml (2020)​

• ​OCaml JIT compiler - Just In Time compiler for OCaml native toplevel.

• ​On OCaml and the JS platform (2021)​

• ​Generalised signatures (2021) - Technique for defining more reusable OCaml signatures.