Track Awesome Ocaml Updates Daily

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor · 😺 ocaml-community/awesome-ocaml · ⭐ 2.8K · 🏷️ Programming Languages

[ Daily / Weekly / Overview ]

Nov 12, 2024

Program analysis

• Owi (⭐135) - Owi is a toolchain for working with WebAssembly (Wasm) in OCaml, featuring a powerful, parallel symbolic execution engine for Wasm. It also provides frontends for compiling and analyzing C and Rust programs.

• Smt.ml (⭐26) - Smt.ml is a frontend OCaml library that interfaces with multiple SMT solvers, enabling seamless integration of solvers like Z3, cvc5, Colibri2, Bitwuzla, and Alt-Ergo within OCaml programs.

Sep 18, 2024

Large Source Code Examples

• Tezos - a self-upgradable Proof of Stake blockchain

Mar 07, 2024

Developer Tools

• learn-ocaml (⭐304). Web app (written in OCaml) underlying the learn-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 (⭐7). Minor mode for Emacs that can display exercise topics and grade exercise solutions, after logging to a Learn-OCaml instance. MIT License.

Exercises and Short Examples

• learn-ocaml-corpus. Corpus of beginner-to-advanced online exercises (including those from the OCaml MOOC) with automatic grading tests.

Online Courses

• OCaml MOOC: Introduction to Functional Programming in OCaml - Videos available in this playlist of the OCaml Software Foundation YouTube channel.

Utilities

• Validate (⭐16) - PPX deriver designed to streamline the process of validating records.

• sqids-ocaml (⭐9) - Official OCaml port of Sqids. Generate short unique IDs from numbers.

Feb 08, 2024

Books

• OCaml Programming: Correct + Efficient + Beautiful - Textbook on Functional Programming and Data Structures in OCaml - by Michael R. Clarkson et al.

Jan 01, 2024

Blogs

• Thomas Letan’s articles about OCaml

Nov 17, 2023

Algorithms and Data Structures

• ODiff (⭐2.1k) – Library of YIQ NTSC transmission image difference alghoritm implemented in OCaml and ReasonML.

Code Analysis and Linters

• MOPSA - MOPSA is a generic framework for building sound static analyzers based on the theory of abstract interpretation.

Questions

• WHIZARD - A system designed for the efficient calculation of multi-particle scattering cross sections and simulated event samples.

Serialization

• atdgen (⭐316) — A serialization compiler for multiple languages (OCaml, Java, Python, Scala, Typescript) with a Binou or JSON format

May 26, 2023

Printers helpers

• Reason's native Console.log

• Dum

• Inspect

• ppx_deriving ’s [@@deriving show].

• refl , a ppx_deriving-like.

• lrt , another ppx_deriving-like.

• tpf , again a ppx_deriving-like.

• typerep , probably a ppx_deriving-like with ppx_typerep_conv.

• repr, which appears to have the user build the type representation manually from combinators in addition to also having the user pass it where needed.

• data-encoding, also fully manual.

• cmon , fully manual.

• dyn in Dune. It appears to also be fully manual.

• Genprint

• OCaml@p

Dec 25, 2022

Code Analysis and Linters

• coq-of-ocaml (⭐255) - Translator from OCaml to Coq to formally verify OCaml code.

Oct 07, 2022

Developer Tools

• BetterOCaml – An efficient, intuitive, and cross-platform web IDE with your OCaml code interpreted and running in your browser!

Nov 28, 2021

Questions

• bistro (⭐47) – OCaml library for building bioinformatics pipelines.

Aug 21, 2021

Community

• Official OCaml Mailing List

Networking

• HTTP Tools:
  • ocaml-cohttp (⭐712) – Very lightweight HTTP server using Lwt or Async.
  • ocurl (⭐59) – OCaml bindings to libcurl.
  • httpaf (⭐534) – A high performance, memory efficient, and scalable web server written in OCaml.
  • piaf (⭐191) - Client/server library for HTTP/1.X / HTTP/2 written entirely in OCaml.

Utilities

• Uuidm - Uuidm is an OCaml module implementing 128-bit universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122.

Mar 30, 2021

Developer Tools

• OCaml: Learn & Code iOS app - Learn and execute OCaml code from your iPhone/iPad/Mac.

Feb 09, 2021

Questions

• ocephes (⭐12) - Bindings to frequently used C special functions library.

Jan 01, 2021

User Interface

• lablgtk — GTK2 and GTK3 bindings for OCaml with various higher-level facilities to define GUIs.

Dec 09, 2020

Databases

• New Implementations
  • Irmin (⭐1.9k) — A distributed database that follows the same design principles as Git.
  • Obigstore — A database with BigTable-like data model atop LevelDB.
  • RunOrg (⭐12) - It is a WIP database server written in OCaml.
  • dokeysto (⭐10) - dumb OCaml key-value store, string keys and string values. Optional on-the-fly LZ4 compression of values or tokyocabinet backend.

Nov 25, 2020

Language-related

• OCaml Style Guide (by Jane Street) - See also: [1], [2], [3].

• A safe but strange way of modifying OCaml compiler

Nov 23, 2020

Exercises and Short Examples

• Programming Language Examples Alike Cookbook - The OCaml section of the book is a free reference for solving common programming problems using OCaml.

Nov 13, 2020

Large Source Code Examples

• Base (⭐864) - Standard library for OCaml

• pfff (⭐185) - an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

• cil (⭐361) - C Intermediate Language

• coq (⭐4.9k) - formal proof management system

• frama-c - platform dedicated to the analysis of source code written in C

• libguestfs (⭐629) - library and tools for accessing and modifying virtual machine disk images

• Liquidsoap (⭐1.4k) - a swiss-army knife for multimedia streaming, notably used for netradios and webtvs

• mirage (⭐2.6k) - library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms

• MLDonkey (⭐255) - cross-platform multi-network peer-to-peer daemon

• WHY3 - platform for deductive program verification

• xen-api (⭐345) - management stack that configures and controls Xen-enabled hosts and resource pools, and co-ordinates resources within the pool.

Nov 12, 2020

Serialization

• cbor (⭐24) — OCaml native CBOR decoder/encoder.

Testing

• expect-test (⭐145) — A framework for writing tests in OCaml, similar to Cram, developed by JaneStreet.

Nov 01, 2020

Project Starter Templates

• drom (⭐185) - The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience.

Oct 25, 2020

Large Source Code Examples

• Oni2 (⭐7.8k) - Native, lightweight modal code editor.

Project Starter Templates

• spin (⭐296) - Reason and Ocaml project generator

• modern-ocaml (⭐75) - Template for an ocaml project with modern tooling

Oct 01, 2020

Code Analysis and Linters

• Camelot (⭐44) - Camelot is a modular and fully configurable OCaml linter and stylechecker.

Sep 15, 2020

Mobile Applications

• Articles:
  • OCaml on iOS 7 Released
  • OCaml + Cordova = more secured, typed and hybrid mobile applications

Feb 02, 2020

Algorithms and Data Structures

• ORaft (⭐28) - Library of Raft consensus algorithm implemented in OCaml

Jan 17, 2020

Machine Learning

• Libraries
  • Ocaml-sklearn (⭐34) scikit-learn for OCaml.
  • Owl - Scientific library with neural networks, algorithmic differentiation and ONNX support.
  • Object detection convolutional neural network with OCaml (based on Owl) (⭐17).
  • PyTorch bindings (⭐412) - OCaml bindings for PyTorch.
  • Ocaml-NN (⭐5) - Fully functional monadic implementation of a Neural Network (FCNNs) in OCaml

Jan 16, 2020

Machine Learning

• Articles
  • Deep Learning with OCaml (PyTorch bindings).
  • Transfer Learning with OCaml (PyTorch bindings).
  • Reinforcement Learning with OCaml (PyTorch bindings).

Dec 26, 2019

Web Development

• Tools:
  • COW (⭐107) – Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
  • Ocamlnet has many relevant web libraries — Nethtml html parser, Netasn1 for ASN.1 parsing, Netencoding for Base64, Quoted Printable, URL encoding and HTML escaping, Netmime for MIME processing, etc. See the list of modules in Ocamlnet's manual.
  • tyxml — Library to build valid (according to the W3C spec) Html and Svg trees.
  • js_of_ocaml – Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible to run Ocaml programs in a Web browser.
    • commonjs_of_ocaml (⭐13) - Easily import and export CommonJS modules from a js_of_ocaml project.
  • ReScript - ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
  • ocaml-uri (⭐98) – RFC3986 URI parsing library.
  • Goji (⭐44) – An OCaml bindings generator for JavaScript libraries.
  • Syndic (⭐34) – RSS and Atom feed parsing
  • ocaml-mustache (⭐83) – mustache.js logic-less templates in OCaml.
  • atdjs (⭐9) – atd code generator (serialization) for OCaml/js_of_ocaml.
  • jingoo (⭐126) – OCaml template engine almost compatible with jinja2.
  • dispatch (⭐46) – Path-based dispatching for client- and server-side applications.
  • Lambda Soup (⭐383) - Functional HTML scraping and manipulation with CSS selectors, à la Python's Beautiful Soup.
  • Markup.ml (⭐146) - Error-recovering streaming HTML5 and XML parsers, serializers.
  • gen_js_api (⭐176) - gen_js_api aims at simplifying the creation of OCaml bindings for Javascript libraries.
  • routes (⭐144) - Typed routes for OCaml/ReasonML web applications.

Sep 24, 2019

Internationalization

• Camomile (⭐124) — A Unicode library for OCaml.

• ocaml-m17n (⭐51) — Multilingualization for OCaml source code. Allows using Unicode identifiers in OCaml source code.

• Uucd (⭐17) — Unicode character database decoder for OCaml.

• Uucp (⭐21) — Unicode character properties for OCaml.

• Uunf (⭐21) — Unicode text normalization for OCaml.

• Uuseg (⭐23) — Unicode text segmentation for OCaml.

• Uutf (⭐32) — Non-blocking streaming Unicode codec for OCaml.

Aug 27, 2019

Language-related

• Inlined records in constructors

Aug 25, 2019

Developer Tools

• Code coverage:
  • Bisect_ppx (⭐302)

Jul 08, 2019

Concurrency

• Libraries:
  • Lwt — A cooperative threads library for OCaml.
  • Async — A monadic concurrence library to go with the Core library.

Jul 04, 2019

Program analysis

• cwe_checker (⭐1.1k) - cwe_checker finds vulnerable patterns in binary executables.

Jun 09, 2019

Security and Cryptography

• nocoiner (⭐11) - A Commitment scheme library for Multi-party computations such as online auctions and gambling.

Semantic Technology

• OCaml-RDF – OCaml library to manipulate RDF graphs and execute Sparql queries.

May 02, 2019

Web Development

• Frameworks:
  • Opium (⭐757) – Sinatra like web toolkit for OCaml.
  • Ocsigen Eliom – Eliom is a full-featured multi-tier framework, for developing multi-platform Web and mobile apps as 100% OCaml distributed applications. It can also be used for more traditional Web or mobile apps: Web sites, single page applications, REST API, etc.
  • Dream - Tidy Web framework for OCaml and ReasonML
  • webmachine (⭐221) – A REST toolkit for OCaml. OCaml webmachine is a layer on top of cohttp that implements a state-machine-based HTTP request processor. It's particularly well-suited for writing RESTful APIs. As the name suggests, this is an OCaml port of the webmachine project.
  • incr_dom (⭐381) - A library for building dynamic webapps, using Js_of_ocaml
  • fmlib_browser - a library which helps to write web applications which run in the browser in a pure functional style.
  • ocaml-vdom (⭐197) - Elm architecture and (V)DOM for OCaml

Apr 27, 2019

User Interface

• ocaml-linenoise (⭐51) - Self-contained OCaml bindings to linenoise; easy high-level readline functionality in OCaml.

Apr 25, 2019

Package Management

• Distribution:
  • OPAM – A flexible Git-friendly package manager with multiple compiler support.
  • ocamlfind — Local OCaml library manager. Used by most of the OCaml ecosystem.
  • OCaml for Windows - opam repository and experimental build for Windows (deprecated since 2021).
  • Diskuv OCaml (⭐63) - Diskuv OCaml distribution for Windows.
  • makorel (⭐8) – Release OPAM packages easily.
  • esy (⭐846) - package.json workflow for native development with Reason/OCaml.

Feb 18, 2019

Algorithms and Data Structures

• Decompress (⭐115) - A pure OCaml implementation of Zlib.

• Ke (⭐51) - Fast implementation of queue (FIFO) in OCaml.

• Duff (⭐20) - Implementation of Rabin's fingerprint and delta compression by P. MacDonald in OCaml (same as libXdiff

Nov 22, 2018

Serialization

• yojson (⭐328) — An optimized parsing and printing library for the JSON format.

Nov 13, 2018

Parallelism

• Libraries:
  • Parmap — Provides easy-to-use parallel map and fold functions.
  • ForkWork (⭐19) — A simple library for forking child processes to perform work on multiple cores.
  • Functory — A distributed computing library which facilitates distributed execution of parallelizable computations in a seamless fashion.
  • Rpc.Parallel (⭐47) — A library for spawning processes on a cluster of machines, and passing typed messages between them.
  • Ocamlnet — An enhanced system platform library. Contains the netmulticore library to compute tasks on as many cores of the machine as needed.
  • Nproc (⭐29) – Process pool implementation for OCaml.
  • Parany (⭐52) – Parallelize computation over independent items, even if there is an infinite number of them.
  • Sklml – Functional parallel skeleton compiler and programming system for OCaml programs.
  • SPOC (⭐138) - Libraries and syntax extensions to offload intensive computations to parallel accelerators (multicore CPUs, GPUs and other accelerators compatible with GPGPU frameworks).

Oct 31, 2018

Books

• OCaml for Scientists - by Jon Harrop.

Oct 07, 2018

System Programming

• Embedded systems
  • OMicroB (⭐141) - A virtual machine designed to run OCaml bytecode on AVR (Arduino for instance) micro-controlers.
  • OCaPIC - An OCaml virtual machine for PIC18 micro-controlers.
  • ocaml-esp32 (⭐18) - A compiler for ESP32 SoC.

Sep 13, 2018

Benchmarking

• core_bench (⭐49) – Micro-benchmarking library for OCaml by Jane Street.   - Getting Started with Core_bench (⭐49)

• benchmark (⭐28) – Benchmarking functions for measuring the run-time of functions using latency or throughput.

Sep 12, 2018

Metrics

• prometheus (⭐49) – OCaml client library for Prometheus monitoring.

Sep 11, 2018

Community

• Official OCaml Website

• OCaml Planet

• OCaml SubReddit

Algorithms and Data Structures

• Comparing a Machine Learning Algorithm Implemented in F# and OCaml

Blogs

• Type OCaml – Many things about OCaml

Books

• More OCaml: Algorithms, Methods, and Diversions – In More OCaml, John Whitington takes a meandering tour of functional programming with OCaml, introducing various language features and describing some classic algorithms. The book ends with a large-scale example dealing with the production of PDF files. There are questions for each chapter, along with worked-out answers and hints.

• Pearls of Functional Algorithm Design by Richard Bird - 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 (⭐28).

• Unix System Programming in OCaml by X. Leroy and D. Rémy – Introduction to Unix Systems Programming, with an emphasis on communications between processes.

• Using, Understanding, and Unraveling OCaml – This book describes both the OCaml language and the theoretical grounds behind its powerful type system.

• Purely Functional Data Structures - This is the first or only book focus on various data structures in FP world. A must-read one.

Compilers and Compiler Tools

• Languages and Compilers:

  • 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.

  • Mazeppa (⭐377) - 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 (⭐631) – A Lisp on LLVM written in OCaml.

  • Rust Programming Language - Originally written in OCaml before bootstrapping.

  • Quick C-- Target Language - It is now a dead project. Github Repo (⭐150). Alternative website.

  • tis-interpreter - An interpreter for finding subtle bugs in programs written in standard C

  • Reason - Friendly syntax & toolchain for OCaml by Facebook.

  • RaML - Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs.

  • Liquid ML (⭐42) - Shopify's Liquid Templating language for OCaml.

Datetime

• ISO8601 (⭐29)

Developer Tools

• Try OCaml – Try OCaml in your web browser.

Exercises and Short Examples

• 99 problems. 99% of the solutions are here (⭐49).

Formal Software Verification

• 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.

General

• Why We Use OCaml

User Interface

• Lambda-Term (⭐209) – Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, and colors, as well as a set of widgets to write curses-like applications.

Language-related

• Algebraic Data Types

• Fiddling with the OCaml Type System

Messaging

• capnp-ocaml (⭐98) – OCaml code generator plugin for the Cap'n Proto serialization framework.

Metaprogramming

• Articles:
  • A Guide to Extension Points in OCaml
  • Extension Points, or how OCaml is becoming more like Lisp
  • Syntax extensions without Camlp4: let's do it!
  • Reading Camlp4 – Ambassador to the Computers

Package Management

• Build Tools:
  • dune (⭐1.6k) – A composable and opinionated build system for OCaml (former jbuilder)
  • Oasis - A tool to integrate a configure, build and install system in your OCaml project. It helps to create standard entry points in your build system and allows external tools to analyse your project easily.
    • oasis2opam (⭐27) — Tool to convert OASIS metadata to OPAM package descriptions.
  • obuild (⭐55) – Simple package build system for ocaml.
  • ocaml-makefile (⭐74) — Easy to use Makefile for small to medium-sized OCaml-projects.
  • topkg (⭐68) — OPAM-aware packaging system using ocamlbuild.
  • Bazel (⭐37) - OCaml rules for Bazel, Google's multi-language and platform build tool.

Parallelism

• Articles:
  • What is the state of OCaml's parallelization abilities?
  • Parallel programming in multicore OCaml (⭐283)
  • Parallelism programming from the officiel OCaml manual
  • Awesome multicore OCaml (⭐147). A compilation of resources

Questions

• OCaml polymorphism example other than template function?

• OCaml - polymorphic print and type losing

Testing

• Kaputt — comprehensive testing framework.

Sep 08, 2018

Utilities

• ocaml-cuid (⭐18) - Collision-resistant IDs for server scalability & database performance.

Aug 24, 2018

Code Analysis and Linters

• Infer (⭐15k) - 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++.

Program analysis

• BAP (⭐2.1k) - BAP is a reverse engineering and program analysis platform that targets binary programs.

• BinCat (⭐1.7k) - BinCat is a binary code static analysis toolkit.

Developer Tools

• Jupyter (⭐291) – An OCaml kernel for the Jupyter notebook.

• utop (⭐846) – Universal toplevel for OCaml with support for multiline edition, history, real-time and context-sensitive completion, colors, and more.

• ocamlformat (⭐631) - A command-line tool to format OCaml code.

• Foreign Function Interface:
  • ctypes (⭐371) – Library for binding to C libraries using pure OCaml.
  • ocaml-main-program-in-c (⭐16) – Example build system for making mixed C/Ocaml binaries where the main program is in C.
  • Modular foreign function bindings
  • Py.ml (⭐187) - OCaml bindings for Python.

Messaging

• ocaml-zmq (⭐80) – ZeroMQ bindings for OCaml with Async and Lwt wrappers.

Questions

• owl (⭐1.2k) - OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions.

Jul 01, 2018

Databases

• Overlays
  • Sequoia (⭐123) - Sequoia is a type-safe query builder for MySQL/MariaDB and PostgreSQL
  • Macaque (⭐38) — Macaque is a library for safe and flexible database queries using comprehensions on top of PG'OCaml.
  • ORM (⭐60) — ORM for SQLite.
  • Caqti (⭐309) - Cooperative-threaded access to relational data
  • Caqti setence preparation, ppx_rapper (⭐138)

• Articles:
  • Implementing the Binary Memcached Protocol with Ocaml and Bitstring
  • Interfacing OCaml and PostgreSQL with Caqti
  • Finally, Type-Safe, Extensible and Efficient Language Integrated Query by Oleg and Co. The proposed approach is to describe SQL queries in type-safe manner and optimize them (using term rewriting or normalization-by evaluation) before sending to database engine. It potentially could optimize O(n^2) queries to O(n) ones.

Jun 30, 2018

Testing

• Alcotest (⭐455) – A lightweight and colourful test framework.

Apr 19, 2018

Community

• OCaml Discord Chat

Feb 06, 2018

Security and Cryptography

• Digestif (⭐87) - Hash algorithms (like SHA* or BLAKE2*) in OCaml and C.

Jan 04, 2018

Developer Tools

• ocamlbrowser – A source and compiled interface browser, written using LablTk. Included in the standard distribution for ocaml <= 4.01 and with labltk for ocaml >= 4.02.

• Editor Integration:
  • ocaml-lsp (⭐770) - An LSP language server for OCaml that integrates with any editor that understands LSP like VSCode (⭐164k), Vim and Emacs.
  • merlin (⭐1.6k) – Context sensitive completion for OCaml in Vim and Emacs.
  • tuareg (⭐362) - OCaml mode for Emacs that can run the toplevel and the debugger within Emacs.
  • opam-switch-mode (⭐5) - 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 (⭐44) – Emacs package to provide merlin's features through eldoc.
  • vscode-ocaml (⭐170) – extension that provides OCaml language support for VSCode (⭐164k)
  • OCaml Debugger (⭐206) – extension that provides OCaml Debugger for VSCode (⭐164k)
  • Sublime better ocaml (⭐23) – Better OCaml mode for Sublime Text.
    • Sublime text package (⭐12)
  • ocp-index – Easy access to the interface information of installed OCaml libraries. Provides standalone tools like ocp-browser and ocp-grep.
    • ocp-browser – Small ncurses-based API and documentation browser.
    • ocp-index-top (⭐20) – Toplevel directive for looking up documentation using ocp-index.
    • Sublime text package
  • ocp-indent – Indentation tool for OCaml, to be used from editors like Emacs and Vim.
    • Vim plugin (⭐29).

Dec 13, 2017

Application Libraries

• ocaml-containers (⭐492) – A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, Unix, etc.) BSD license.

Nov 07, 2017

Community

• OCaml Discourse Web Forum

Nov 02, 2017

Questions

• obandit - OCaml library for multi-armed bandits.

Oct 18, 2017

Blogs

• Drup's Thingies

Sep 19, 2017

Application Libraries

• Core (⭐1.1k) – Jane Street Capital's full-fledged standard library overlay. A portable subset of Core is also available: Core_kernel (⭐217).

• Minicli (⭐30) – Minimalist library for command-line parsing.

User Interface

• lablqml (⭐159) – QML Qt5 bindings for OCaml.

• labltk — Interface to the Tcl/Tk GUI framework. In the standard distribution for ocaml <= 4.01.

• TSDL – Tsdl is an OCaml module providing thin bindings to the cross-platform SDL library.

• Notty (⭐351) - Notty is a declarative terminal library for OCaml, structured around the notion of composable images.

Security and Cryptography

• cryptokit (⭐96) – The Cryptokit library for OCaml provides a variety of cryptographic primitives that can be used to implement cryptographic protocols in security-sensitive applications.

Sep 11, 2017

Concurrency

• Articles:
  • The blog post that introduced Async
  • A user gives up on Async
  • Cooperative Concurrency in OCaml: A Core.Std.Async Example.

Security and Cryptography

• nocrypto (⭐111) – A small cryptographic library behind the ocaml-tls project. It is built to be straightforward to use, adhere to functional programming principles, and able to run in a Xen-based unikernel.

Aug 25, 2017

Code Analysis and Linters

• MemCAD (⭐25) - MemCAD is an abstract interpreter for shape analysis. MemCAD can verify C programs manipulating complex data structures.

Jul 20, 2017

Messaging

• onanomsg (⭐38) – nanomsg bindings for OCaml.

• Kafka (⭐63) – OCaml bindings for Apache Kafka.

• AMQP (⭐62) – AMQP client library for Async and Lwt.

• MPI (⭐24) – Message Passing Interface bindings for OCaml.

• MQTT (⭐19) – OCaml implementation of the MQTT pubsub protocol.

Jun 14, 2017

Online Courses

• University of Illinois - Course that uses OCaml to teach functional programming and programming language design

Apr 13, 2017

Questions

• tensorflow-ocaml (⭐283) – OCaml bindings for TensorFlow.

Mar 24, 2017

Developer Tools

• codingground – Compile and execute OCaml code online.

Mar 02, 2017

Questions

• slap (⭐88) - A linear algebra library in OCaml with type-based static size checking for matrix operations.

Jan 22, 2017

Testing

• OUnit – OUnit is a unit test framework for OCaml. It allows one to easily create unit-tests for OCaml code. It is based on HUnit, a unit testing framework for Haskell.

Oct 04, 2016

Datetime

• calendar

• odate (⭐23)

• ptime

Aug 21, 2016

Code Analysis and Linters

• SLAyer (⭐326) - SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Compilers and Compiler Tools

• Parser and Lexer Generators:
  • Opal (⭐146) – Self-contained monadic parser combinators for OCaml.
  • Sedlex (⭐239) is a modern, encoding-agnostic (read: Unicode-supporting) lexer generator (the ppx-based successor to ulex.)
  • Menhir – Menhir is a LR(1) parser generator for OCaml.
    • See ocaml-parsing (⭐125) for a clearer example of using Menhir and Sedlex to produce a useful parser,
    • ... and Obelisk (⭐55), a neat project to produce readable LaTeX, HTML, or plain-text EBNF-style documentation for your grammar.
  • ocamllex/ocamlyacc – lex and yacc implementation for OCaml.
  • Angstrom (⭐648) - Parser combinators built for speed and memory efficiency

Logging

• Logs - Logs provides a logging infrastructure for OCaml.

Networking

• charrua-unix (⭐11) - charrua-unix is a Unix DHCP daemon based on charrua-core (⭐55).

Regular Expressions

• Tyre (⭐171) - Tyre is a set of combinators to build type-safe regular expressions, allowing automatic extraction and modification of matched groups.

Jul 21, 2016

Mobile Applications

• Bindings:
  • Cordova plugins (⭐26) – List of bindings to Cordova plugins. Get access to native device components like accelerometer, SMS, geolocation, etc in OCaml.

Feb 12, 2016

Developer Tools

• OCaml Yeoman Generator (⭐22) – Yeoman generator to scaffold OCaml modules.

Feb 01, 2016

General

• Learn X in Y minutes - Where X=OCaml.

Questions

• lacaml - OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries).

Jan 24, 2016

Networking

• fluent-logger (⭐7) – Fluentd logger for OCaml.

Jan 10, 2016

Code Analysis and Linters

• flow (⭐22k) - flow is a static type checker for JavaScript.

Exercises and Short Examples

• OCaml at Exercism – Exercism is your place to engage in thoughtful conversations about code. Explore simplicity, idiomatic language features, and expressive, readable code. Solutions (⭐94).

Nov 22, 2015

Databases

• Bindings
  • Dbm — A binding to the NDBM/GDBM Unix "databases".
  • Mongo.ml – An OCaml driver for Mongodb
  • PG'OCaml — A type-safe interface to PostgreSQL in pure OCaml.
    • ppx_pgsql (⭐52) – A syntax extension for embedded SQL queries using PG'OCaml.
  • PostgreSQL-OCaml — An interface to PostgreSQL through the C API (libpq).
  • SQLite3 (⭐114) — OCaml bindings to the SQLite3 database.
  • Sqlite3EZ — Thin wrapper for SQLite3 with a simplified interface.
  • ocaml-redis (⭐74) – Redis bindings for OCaml.
  • mysql – Bindings to libmysqlclient for interacting with MySQL databases.
  • pgx (⭐122) – A pure OCaml PostgreSQL client library.
  • mysql_protocol (⭐14) – Implementation of MySQL Protocol with the Bitstring library.

Oct 02, 2015

Testing

• TestSimple (⭐13) - A lightweight unit testing framework compatible with the Test Anything Protocol.

Aug 17, 2015

Questions

• oml (⭐119) - OCaml library for general numerical work.

Testing

• iTeML (⭐66) (formerly known as qtest) — supports inline pragma's to generate tests.

• Pa_test — General inline testing macro's.

Jul 13, 2015

Online Courses

• Cornell University – Data Structures and Functional Programming.

May 07, 2015

Regular Expressions

• Humane-re (⭐25) – Humane-re attempts to provide an easy interface for 90% of your regex needs. Courtesy of ocaml-re.

Dec 03, 2014

Regular Expressions

• Re (⭐232) – a pure OCaml regular expressions library with combinators, supporting several formats (glob, posix, str, etc.).

• ocaml-pcre (⭐31) – bindings to the PCRE library (perl-compatible regular expressions)

Serialization

• sexplib (⭐146) – A S-expression parser and printer

Nov 20, 2014

Metaprogramming

• Syntax Extensions:
  • ppx_import (⭐89) – Import is a syntax extension that allows to pull in types or signatures from other compiled interface files.
  • ppx_string_interpolate (⭐21) – A simple ppx filter to support string interpolation like [%str "value of foo is $(foo)"].
  • ppx_monad (⭐7) – Monad syntax extension for OCaml.
  • ppx_deriving_yojson (⭐157) – A Yojson codec generator for OCaml.

Nov 11, 2014

Blogs

• Gagallium

• OCaml Platform

Oct 07, 2014

General

• slacko (⭐81) – A neat interface for Slack in OCaml.

Sep 24, 2014

Algorithms and Data Structures

• ods (⭐48) – A large collection of data structures and algorithms for OCaml.

• combine (⭐35) – OCaml library for combinatorics https://www.lri.fr/~filliatr/combine/.

Compilers and Compiler Tools

• Articles:
  • Kaleidoscope: Implementing a Language with LLVM in Objective Caml¶

Language-related

• XEN – OCaml Best Practices for Developers

Questions

• biocaml (⭐123) – OCaml Bioinformatics Library http://biocaml.org.

• onumerical (⭐8) – Numerical library for OCaml.

Aug 04, 2014

Metaprogramming

• Tools and Language Extensions:
  • MetaOCaml – an OCaml dialect for multi-stage programming.
  • Fan – Fan is a compile-time metaprogramming system for OCaml, originally inspired from Camlp4. It's a combination of OCaml and Lispy Macros. It shares the same concrete syntax with OCaml.
  • camlp5 - Camlp5 is a preprocessor-pretty-printer of OCaml.
  • camlp4 - Camlp4 is part of the standard OCaml distribution and is different from Camlp5.

Jul 30, 2014

Formal Software Verification

• Why3 – Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions.

• Alt-Ergo – Alt-Ergo is an open-source SMT solver dedicated to the proof of mathematical formulas generated in the context of program verification.

Jul 29, 2014

General

• camlPDF (⭐201) – OCaml library for reading, writing and modifying PDF files.

Jul 28, 2014

Code Analysis and Linters

• Mascot - Mascot is a style-checker for OCaml sources.

General

• (Functional) Alternatives to inheritance

Jul 25, 2014

Application Libraries

• Batteries Included (⭐519) – A community-maintained foundation library for your OCaml projects.

Developer Tools

• ghim (⭐19) – A command-line tool to manage Github Issues.

Exercises and Short Examples

• Rosetta Code

General

• Why OCaml, why now?

• A blog about game development in OCaml

Logging

• dolog (⭐37) – A dumb OCaml logger.

Testing

• QCheck (⭐347) — QCheck is a property testing library inspired from Haskell's QuickCheck

Jul 24, 2014

Algorithms and Data Structures

• OCamlgraph (⭐233) – A generic graph library for OCaml.

Application Libraries

• Cmdliner (⭐296) – Declarative definition of command line interfaces for OCaml.

• React – React is an OCaml module for functional reactive programming (FRP). It provides support for programs with time-varying values, declarative events, and signals.

• easy-format (⭐43) – Pretty-printing library for OCaml.

• ocaml-rpc (⭐96) – Light library to deal with RPCs in OCaml.

Books

• How to Think Like a (Functional) Programmer by Allen Downey and Nicholas Monje – How to Think Like a Computer Scientist is an introductory programming textbook based on the OCaml language. It is a modified version of Think Python by Allen Downey. It is intended for newcomers to programming and also those who know some programming but want to learn programming in the function-oriented paradigm, or those who simply want to learn OCaml.

• OCaml from the Very Beginning by J. Whitington - OCaml from the Very Beginning will appeal both to new programmers and experienced programmers eager to explore functional languages such as OCaml.

• Real World OCaml by Y. Minsky, A. Madhavapeddy, and J. Hickey - Functional Programming for the masses.

General

• Functional Programming with OCaml

• Python to OCaml: retrospective

• OCaml for the Masses

• Xen – OCaml Coding Considerations

• Monads are a class of hard drugs

• Beginner's guide to OCaml

Graphics

• 2D
  • archimedes — 2D plotting library.
  • cairo2 (⭐54) — Binding to Cairo, a 2D Vector Graphics Library. Integrates well with lablgtk.
  • Vg (⭐91) – Declarative 2D vector graphics for OCaml.

• 3D
  • glMLite (⭐19) — OpenGL bindings for OCaml. Provides an (experimental) functional API. (homepage)
  • lablgl — Interface to OpenGL. Integrates well with lablgtk.
  • tgls — Thin bindings OpenGL 3.{2,3},4.{0,1,2,3,4} and OpenGL ES {2,3}.

Language-related

• Higher-Rank Polymorphism in OCaml

• mikmatch (⭐22) – OCaml pattern-matching extended with regexps

Logging

• Volt (⭐8) – A variant of the Bolt OCaml logging tool.

Networking

• ocaml-dns (⭐105) – A pure OCaml implementation of the DNS protocol.

Online Courses

• Princeton University - Functional programming in OCaml.

Security and Cryptography

• ocaml-tls (⭐304) – TLS in pure OCaml.

Serialization

• bencode (⭐24) — Bencode (.torrent file format) reader/writer.

• biniou (⭐42) – Extensible binary data format, like JSON but faster.

• jsonm — Non-blocking streaming JSON codec for OCaml.

• xmlm — A streaming codec to decode and encode the XML data format.

System Programming

• Mirage OS (⭐2.6k) – Mirage is a programming framework for constructing secure, high-performance network applications across a variety of cloud computing and mobile platforms.

• ocaml-fat (⭐25) – Read and write FAT-format filesystems from OCaml.

• ocaml-git (⭐362) – Pure OCaml low-level git bindings.

• ocaml-vchan (⭐45) – Pure OCaml implementation of the "vchan" shared-memory communication protocol.

Web Development

• Open Source Projects:
  • Cumulus (⭐49) – Hacker news like website with the OCaml framework Ocsigen