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

semgrep

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

unison

Unison file synchronizer

ocaml

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

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.

clerical

Command-like expressions for real infinite-precision calculations

magic-trace

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

s2n-bignum

hol-light

The HOL Light theorem prover

Claudius

Sparse submissions for Genuary 2023

nqcc2

Reference implementation for Writing a C Compiler

baby

A balanced binary search tree library for OCaml

melange

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

pyre-check

Performant type-checking for python.

ocaml-api-watch

Libraries and tools to keep watch on you OCaml lib's API changes

comby

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

kdf

Key deriving functions in OCaml

infer

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

flow

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

ott

The Ott tool for writing definitions of programming languages and calculi

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

polaris

A functional programming language with shell scripting capabilities

austral

Systems language with linear types and capability-based security.

soupault

Static website generator based on HTML element tree rewriting

riot

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

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

remora

A dependently-typed, array-polymorphic language that runs on parallel architectures

narya

A proof assistant for higher-dimensional type theory

irmin

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

base

Standard library for OCaml

mirage

MirageOS is a library operating system that constructs unikernels

js_of_ocaml

Compiler from OCaml to Javascript.

dune

A composable build system for OCaml.

helix

Build reactive web interfaces in OCaml.

obatcher

A Framework for building Batched Concurrent Data Structures

saturn

Lock-free data structures for multicore OCaml

hax

A Rust verification tool

domainslib

Parallel Programming over Domains

type-systems

Implementations of various type systems in OCaml.

google-drive-ocamlfuse

FUSE filesystem over Google Drive

reason

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

ocaml-lsp

OCaml Language Server Protocol implementation

gamelle

2d game engine for OCaml

textbook

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

merlin

Context sensitive completion for OCaml in Vim and Emacs

malfunction

Malfunctional Programming

piaf

Web library for OCaml with support for HTTP/1.X / HTTP/2

flambda-backend

The Flambda backend project for OCaml

ocaml-practice-exercises

Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform

nethsm

Nitrokey NetHSM system software and firmware

signal

Reactive signals for OCaml.

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.

catala

Programming language for literate programming law specification

jj_tui

A TUI for the Jujutsu version control system

DrawGrammar

Draw railroad diagrams of EBNF grammars. In browser and on command line

odiff

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

SATySFi

A statically-typed, functional typesetting system

hardcaml

Hardcaml is an OCaml library for designing hardware.

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

ppx_deriving_yaml

OCaml types to Yaml types and back again

blogger

dream

Tidy, feature-complete Web framework

bluesky-bot-ocaml

An simple implementation of an auto-follower/unfollower and reposter bot in bsky.app

bap

Binary Analysis Platform

vscoq

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

utop

Universal toplevel for OCaml

tyre

Typed Regular Expressions

split-arrow

An alternative presentation of arrows

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

incremental

A library for incremental computations

zarr-ml

An implementation of the Zarr storage format specification for chunked & compressed multidimensional arrays.

mlsub

Prototype type inference engine

ocaml-tls

TLS in pure OCaml

belenios

Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios

picos

Interoperable effects based concurrency

miou

A simple scheduler for OCaml 5

FaCT

Flexible and Constant Time Programming Language

zanuda

pyml

OCaml bindings for Python

jsonrpc2

JSON RPC 2.0 for OCaml

polars-ocaml

ppxlib

Base library and tools for ppx rewriters

zbg

✨ Zero bullshit git

minttea

A fun little TUI framework for OCaml

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

octane.ml

The fastest, hottest

ocamlbyexample

Learn Ocaml by reading code examples

mldonkey

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

cmarkit

CommonMark parser and renderer for OCaml

c2bf

Compiler from C to brainfuck

virt-v2v

Virt-v2v converts guests from foreign hypervisors to run on KVM

transcendental-syntax

Technical interpretation of Girard's transcendental syntax

metaquot

OCaml syntax extension for quoting code

tevsl

Shader compiler for the Nintendo GameCube/Wii

ego

EGraphs in OCaml

docfd

TUI multiline fuzzy document finder

cil

C Intermediate Language

ocaml-hashcons

OCaml hash-consing library

wayland-proxy-virtwl

Allow guest VMs to open windows on the host

gospel

A tool-agnostic formal specification language for OCaml.

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, F#

ocaml

OCaml, Shell, HTML

semgrep

C, OCaml, Python

reasonml

OCaml, Reason, JavaScript

mirage

astrada

OCaml, JavaScript, Python

coq

OCaml, Shell, HTML

batsh-dev-team

ocaml-multicore

OCaml, C, Python

bcpierce00

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

ocsigen

OCaml, HTML, JavaScript

jaredly

JavaScript, OCaml, Python

dbuenzli

OCaml, Dockerfile, Makefile

comby-tools

JavaScript, Elm, Go

fastpack

JavaScript, OCaml

leostera

OCaml, JavaScript, Erlang

BinaryAnalysisPlatform

OCaml, C, Python

ocaml-community

moby

Go, OCaml, HTML

ocaml-ppx

andrejbauer

OCaml, TeX, Python

dmtrKovalenko

TypeScript, JavaScript, Rust

Show more »