OCaml Ecosystem

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.

Created by

Xavier Leroy

Released

1996

Community Repos

2,777

Core Projects

ocaml

5,195

The core OCaml system: compilers, runtime system, base libraries

merlin

1,576

Context sensitive completion for OCaml in Vim and Emacs

dune

1,547

A composable build system for OCaml

Popular Projects

ocaml-rs

OCaml extensions in Rust

15 Feb 2018 259

rescript-compiler

The compiler for ReScript

06 Jan 2016 6,491

catala

Programming language for literate programming law specification

17 Apr 2020 1,921

lwt

OCaml promises and concurrent I/O

29 Jul 2013 707

extism

The framework for building with WebAssembly (wasm)

13 Aug 2022 4,200

mirage

MirageOS is a library operating system that constructs unikernels

04 Dec 2009 2,526

irmin

Irmin is a distributed database that follows the same design principles as Git

22 Apr 2013 1,839

FStar

A Proof-oriented Programming Language

03 Apr 2014 2,657

angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637

reason

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

16 Nov 2015 10,064

ocamlformat

Auto-formatter for OCaml code

09 Oct 2017 621

austral

Systems language with linear types and capability-based security

25 Sep 2018 1,062

klipse

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs

19 Nov 2015 3,108

js_of_ocaml

Compiler from OCaml to Javascript

29 Jul 2013 932

bap

Binary Analysis Platform

30 Oct 2014 2,052

SATySFi

A statically-typed, functional typesetting system

19 Mar 2015 1,166

dream

Tidy, feature-complete Web framework

08 Mar 2021 1,596

eliom

Multi-tier framework for programming web and mobile applications in OCaml

29 Jul 2013 301

bucklescript-tea

TEA for Bucklescript

24 Jan 2017 602

plzoo

Programming Languages Zoo

21 Aug 2013 1,449

More Popular

Up and Coming Projects

proof-assistant-project

Template for the proof assistant project CSC_51051_EP

13 Sep 2024 4

ocaml-dblp

OCaml library to use the DBLP bibliographic database API

20 Aug 2024 2

react-alicante-workshop

Public repo for the "Write maintainable React applications using OCaml" React Alicante workshop

12 Aug 2024 5

cmdlang

Declarative command-line parsing for OCaml

07 Aug 2024 9

nats.ocaml

OCaml client for NATS, the cloud native messaging system

30 Jul 2024 8

ring

A statically generated webring with YOCaml, because we love small-web

26 Jul 2024 18

flycaml

OCaml + Fly

22 Jul 2024 9

ppx-by-example

This repository contains examples to help on understanding what are and how to write PPXs in OCaml

06 Jul 2024 32

ocamlportal.ru

Русскоязычный ресурс по OCaml

01 Jul 2024 3

rollmoon

A mini-game with 2d physics

01 Jul 2024 2

scoutapps

Sonic Scout is scouting software for First Robotics competitions

28 Jun 2024 4

ocaml-sitemap

Generate Sitemap XML from OCaml

23 Jun 2024 3

csso

atomic CSS for OCaml

23 Jun 2024 10

murder_tool

Kill processes with a TUI

07 Jun 2024 5

penify-oapi-code-gen

OpenAPI specification generator in NodeJS that can generate openapi-specs for multiple languages

07 Jun 2024 1

ppx_deriving

a collection of ppx deriving plugins

19 May 2024 5

dkcoder

OCaml-based scripting for small utilities all the way to larger apps including games and production services

17 May 2024 5

dream-web-server-sessions

Dream web server coded live at reason-bangalore

05 May 2024 2

dune-lint-demo

OCaml dune linting demos

28 Apr 2024 3

camel-ts

OCaml's Result and Option modules in TypeScript, for funzies

28 Apr 2024 11

More Upcoming