Top 8 OCaml programming-language Projects

reason

44 10,051 5.8 OCaml

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Project mention: Learning Elm by porting a medium-sized web front end from React (2019) | news.ycombinator.com | 2024-02-29
catala

35 1,904 9.7 OCaml

Programming language for literate programming law specification

Project mention: Co to znaczy być edżajlowi? | /r/Polska | 2023-12-06
InfluxDB

www.influxdata.com
sponsored

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

2 1,149 6.3 OCaml

A statically-typed, functional typesetting system
motoko

4 474 9.3 OCaml

Simple high-level language for writing Internet Computer canisters
bamboo

1 322 10.0 OCaml

Bamboo see https://github.com/cornellblockchain/bamboo (by pirapira)
prowl

3 34 0.0 OCaml

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

3 33 0.6 OCaml

RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

Project mention: RustScript2: RustScript is a language that is completely unrelated to Rust. | news.ycombinator.com | 2023-09-25
WorkOS

workos.com
sponsored

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

3 24 9.5 OCaml

A WIP programming language inspired by ML and powered by LLVM

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 2024-02-29.