Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

PHP

Assembly

Swift

Java

CSS

Shell

TypeScript

F#

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

PHP

Kotlin

Scala

Java

Swift

Dart

Shell

JavaScript

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇦🇮 Anguilla

🇺🇿 Uzbekistan

🇧🇳 Brunei

🇳🇿 New Zealand

🇦🇫 Afghanistan

🇦🇷 Argentina

🇮🇲 Isle of Man

🇱🇹 Lithuania

All Countries Compare Countries

Discover OCaml

< More Languages

Discover the top trending OCaml repositories and projects on Github. Explore the latest trends in OCaml development.

30 days 90 days All time

catala

Programming language for literate programming law specification

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

ocaml

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

unison

Unison file synchronizer

dream

Tidy, feature-complete Web framework

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing

infer

A static analyzer for Java, C, C++, and Objective-C

comby

A code rewrite tool for structural search and replace that supports ~every language.

pyre-check

Performant type-checking for python.

rescript-compiler

The compiler for ReScript.

Prog

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.

zipc

ZIP archive and deflate codec for OCaml

reason

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

mirage

MirageOS is a library operating system that constructs unikernels

melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason

saturn

Lock-free data structures for multicore OCaml

zanuda

discordml

A Discord library written in OCaml, based on Eio

babiseat

add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs

austral

Systems language with linear types and capability-based security.

hax

A Rust verification tool

eio

Effects-based direct-style IO for multicore OCaml

irmin

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

google-drive-ocamlfuse

FUSE filesystem over Google Drive

dune

A composable build system for OCaml.

legend-of-zolda

OCaml implementation of a NES Legend of Zelda-style browser-based game

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

plzoo

Programming Languages Zoo

server-reason-react

Server rendering Reason React components with OCaml natively

polars-ocaml

Batsh

A language that compiles to Bash and Windows Batch

js_of_ocaml

Compiler from OCaml to Javascript.

icfp-2023-eio-tutorial

Lwt to Eio tutorial

mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

MariOCaml

HTML 5 canvas implementation of Mario written in Ocaml

incremental

A library for incremental computations

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

algaeff

🦠 Reusable components based on algebraic effects

serde.ml

Serialization framework for OCaml

textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

ocaml-playlist-transfer

Transfer playlists seamlessly between spotify and apple music

ocaml-engine

OCaml game engine and Vampire Survivors inspired game

base

Standard library for OCaml

miou

A simple scheduler for OCaml 5

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

hazel

Hazel, a live functional programming environment with typed holes

liquid-ml

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

thread-local-storage

thread-local storage for OCaml

angstrom

Parser combinators built for speed and memory efficiency

book

V2 of Real World OCaml

utop

Universal toplevel for OCaml

capnp-ocaml

OCaml code generator plugin for the Cap'n Proto serialization framework

xs

concatenative array language inspired by kdb/+q

wasicaml

Translate OCaml bytecode to WebAssembly

hardcaml

Hardcaml is an OCaml library for designing hardware.

kcas

STM based on lock-free MCAS

raylib-ocaml

OCaml bindings for raylib and raygui

sedlex

An OCaml lexer generator for Unicode

bolt

Bolt is a language with in-built data-race freedom!

polytt

A type theory with native support for Polynomial Functors.

miragevpn

An opinionated implementation of the OpenVPN protocol

jsoo-memgraph-toplevel

owl

Owl - OCaml Scientific Computing @ http://ocaml.xyz

est-ocaml

A simple command line tool for statistical calculation

crowbar

Property fuzzing for OCaml

bap

Binary Analysis Platform

obuilder

Experimental "docker build" alternative using btrfs/zfs snapshots

qcheck

QuickCheck inspired property-based testing for OCaml.

ppx_rapper

Syntax extension for writing SQL in OCaml

alcotest

A lightweight and colourful test framework

mlx

telemetry

Lightweight event dispatching for OCaml.

oplot

Mathematical plotting library for ocaml

meio

Monitor Eio programs

ocaml-iostream

generic I/O streams of bytes

asai

🩺 A library for compiler diagnostics

fuseau

[wip] IO and concurrency library for OCaml 5 on top of libuv

dream-html

Generate HTML markup from your Dream backend server

lwd

Lightweight document

hol-light

The HOL Light theorem prover

jamler

alt-ergo

OCamlPro public development repository for Alt-Ergo

routes

typed bidirectional router for OCaml/ReasonML web applications

eff

A functional programming language based on algebraic effect handlers

ppx_inline_test

Syntax extension for writing in-line tests in ocaml code

ocaml-ctypes

Library for binding to C libraries using pure OCaml

mesa

A modern, idiomatic web framework for Riot

prowl

WIP stack language that uses regex for control flow

IoPLMaterials

Materials for the class "Implementation of Programming Languages" in Kyoto University.

ocaml-protoc

A Protobuf Compiler for OCaml

petrol

Petrol's an OCaml SQL API made to go FAST.

ortac

Runtime assertion checking based on Gospel specifications

playtime

An OCaml EDSL for describing and solving strategic games

ocamlformat

Auto-formatter for OCaml code

ppx_deriving_yojson

A Yojson codec generator for OCaml.

dometyl-keyboard

A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.

yojson

Low-level JSON parsing and pretty-printing library for OCaml

landmarks

A Simple Profiling Library for OCaml

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, C

ocaml

OCaml, Shell, HTML

reasonml

OCaml, JavaScript, Reason

mirage

OCaml, C, Shell

semgrep

C, OCaml, Python

rescript-lang

JavaScript, OCaml, ReScript

astrada

OCaml, JavaScript, Java

coq

OCaml, Shell, HTML

batsh-dev-team

bcpierce00

ocaml-multicore

OCaml, Makefile, Jupyter Notebook

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

jaredly

JavaScript, OCaml, Python

ocsigen

OCaml, JavaScript, Shell

dbuenzli

OCaml, Dockerfile, Shell

fastpack

JavaScript, OCaml

comby-tools

JavaScript, Elm, Go

moby

Go, OCaml, Dockerfile

BinaryAnalysisPlatform

OCaml, C, Python

ocaml-community

andrejbauer

OCaml, TeX, Python

ocaml-ppx

MinaProtocol