OCaml Functional programming

Open-source OCaml projects categorized as Functional programming

Top 10 OCaml Functional programming Projects

  • SATySFi

    A statically-typed, functional typesetting system

  • ocaml4noobs

    Tutorial de OCaml para iniciantes na Linguagem.

    Project mention: Why Should You Learn OCaml? | dev.to | 2023-11-08

    I recommended ocaml4noobs in the Portuguese version of this article, but for English the Get Started docs are great!

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  • sihl

    A modular functional web framework

  • ocaml-jupyter

    An OCaml kernel for Jupyter (IPython) notebook

  • patoline

    Patoline typesetting system

    Project mention: Typst, a modern alternative to LaTeX, is now open source | news.ycombinator.com | 2023-03-21
  • preface

    Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

  • ocaml-asp

    Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

  • WorkOS

    The modern API for authentication & user identity. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • AdventOfCode2017

    My solutions for AoC 2017, using Nim, OCaml, and Python (by narimiran)

    Project mention: 2015-2022: What solution to a problem are you the most proud of | /r/adventofcode | 2023-04-06

    While the task was meant to be optimized (and I did that in my solutions in other programming languages), here's my brute force solution for 2017 Day 17 using Python's deque.

  • prowl

    WIP stack language that uses regex for control flow

    Project mention: Are higher order functions and functors equivalent like how closures and objects are equivalent? | /r/ocaml | 2023-09-03

    Functors can help remove a lot of code duplication. For example, the language I am working on has a big equational unification framework for its type system, and I can compose unifiers easily by making them meet some common specification and tying things together. Without functors, I would need to have callback arguments and extra constants in a bunch of the functions, and each function relevant to each unifier would have to be tied together individually, which would be a terrible mess.

  • advent-of-code

    Advent of code solutions (by Fubuchi)

    Project mention: -❄️- 2023 Day 7 Solutions -❄️- | /r/adventofcode | 2023-12-07

    2023 - D8 - OCaml

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-12-07.

OCaml Functional programming related posts


What are some of the best open-source Functional programming projects in OCaml? This list will help you:

Project Stars
1 SATySFi 1,132
2 ocaml4noobs 384
3 sihl 348
4 ocaml-jupyter 275
5 patoline 182
6 preface 139
7 ocaml-asp 95
8 AdventOfCode2017 38
9 prowl 33
10 advent-of-code 0
Learn 300+ open source libraries for free using AI.
LearnThisRepo lets you learn 300+ open source repos including Postgres, Langchain, VS Code, and more by chatting with them using AI!