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.

C#

TypeScript

PHP

R

OCaml

Lua

Emacs Lisp

C

More Languages
Awesome

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

Go

C#

Scala

Rust

Dart

C

Ada

PHP

More Languages
By Country

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

🇱🇸 Lesotho

🇧🇦 Bosnia and Herzegovina

🇵🇼 Palau

🇦🇽 Åland Islands

🇹🇰 Tokelau

🇹🇷 Turkey

🇮🇶 Iraq

🇧🇲 Bermuda

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

odiff

The fastest pixel-by-pixel image visual difference tool in the world.

semgrep

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

gamelle

2d game engine for OCaml

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.

unison

Unison file synchronizer

comby

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

austral

Systems language with linear types and capability-based security.

pyre-check

Performant type-checking for python.

infer

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

ocaml

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

magic-trace

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

dream-html

Generate HTML markup from your Dream backend server

hazel

Hazel, a live functional programming environment with typed holes

riot

An actor-model multi-core scheduler for OCaml 5 🐫

mirage

MirageOS is a library operating system that constructs unikernels

reason

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

notty-miou

narya

A proof assistant for higher-dimensional type theory

google-drive-ocamlfuse

FUSE filesystem over Google Drive

hax

A Rust verification tool

flow

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

melange

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

merlin

Context sensitive completion for OCaml in Vim and Emacs

minttea

A fun little TUI framework for OCaml

base

Standard library for OCaml

ocaml-wol

OCaml implementation of Wake-On-LAN (WOL)

catala

Programming language for literate programming law specification

wayland-proxy-virtwl

Allow guest VMs to open windows on the host

mirage-bootvar

Boot parameters for MirageOS

lwt

OCaml promises and concurrent I/O

coqfmt

Coq code formatter

natty

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

Batsh

A language that compiles to Bash and Windows Batch

js_of_ocaml

Compiler from OCaml to Javascript.

camlkit

OCaml bindings to macOS and iOS Cocoa frameworks

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

ppx_deriving_variant_string

OCaml PPX deriver that generates converters between regular or polymorphic variants and strings

alcotest

A lightweight and colourful test framework

mina

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

language-garden

A garden of small programming language implementations 🪴

incremental

A library for incremental computations

staged_tpf

Metaprogramming-based deriving

hol-light

The HOL Light theorem prover

miou

A simple scheduler for OCaml 5

ocurrent-configurator

bap

Binary Analysis Platform

ocaml_sql_query

PoC of functional-style SQL query

picos

Interoperable effects based concurrency

torch

yocaml2-empty-template

A dead simple skeleton for bootstrapping a blog using YOCaml 2

ocamlformat

Auto-formatter for OCaml code

plzoo

Programming Languages Zoo

vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]

zbg

✨ Zero bullshit git

VerySmallFoot

A modern implementation for the Smallfoot Automated Verification Framework for Separation Logic

patdiff

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

jj_tui

A TUI for the Jujutsu version control system

dune

A composable build system for OCaml.

httpcats

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

ocaml-lsp

OCaml Language Server Protocol implementation

Ztl

Z3 Type Layer: a strongly-typed interface to Z3

carton

saturn

Lock-free data structures for multicore OCaml

qubes-miragevpn

html_of_jsx

Render HTML with JSX

irmin

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

coccinelle

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

liquidsoap

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

yojson

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

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

docfd

TUI multiline fuzzy document finder

buildfs

A dynamic method for detecting faults in incremental and parallel builds.

dc-machine

a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.

ason

Abstract JSON encoders and decoders

polytt

A type theory with native support for Polynomial Functors.

ocallm

Training a (tiny) language model in OCaml, from scratch

bbst

A balanced binary search tree library for OCaml

ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

mldonkey

cross-platform multi-network p2p daemon

copl-tools

tools for the book "Concepts of Programming Languages"

dde

Pure Demand Operational Semantics

0install

the core 0install package

owl

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

lambdasoup

Functional HTML scraping and rewriting with CSS in OCaml

cps_callcc_yinyang

☯️ CPS, call/cc, and yin-yang

vult

Vult is a transcompiler well suited to write high-performance DSP code

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

brr

Browser programming toolkit for OCaml

ppx_deriving

Type-driven code generation for OCaml

stappl

Statically typed probabilistic programming language, feat. GADT

eio

Effects-based direct-style IO for multicore OCaml

opam

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

wanderers

An open world adventure and dungeon crawling game

min-caml

moved from https://sourceforge.net/p/min-caml/code/

dometyl-keyboard

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

1ml

1ML prototype interpreter

deepsea

The DeepSEA programming language

petrol

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

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, F#

ocaml

OCaml, Shell, HTML

reasonml

OCaml, Reason, JavaScript

mirage

OCaml, C, Shell

semgrep

C, OCaml, Python

astrada

OCaml, JavaScript, C

coq

OCaml, Shell, Dockerfile

batsh-dev-team

ocaml-multicore

OCaml, Makefile, Jupyter Notebook

bcpierce00

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

ocsigen

OCaml, JavaScript, Makefile

jaredly

JavaScript, OCaml, Python

dbuenzli

OCaml, Shell, Dockerfile

comby-tools

JavaScript, Elm, Go

fastpack

JavaScript, OCaml

moby

leostera

OCaml, JavaScript, Erlang

BinaryAnalysisPlatform

OCaml, Python, C

ocaml-community

ocaml-ppx

andrejbauer

OCaml, Python, TeX

MinaProtocol