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

flow

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

infer

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

reason

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

semgrep

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

rescript-compiler

The compiler for ReScript.

pyre-check

Performant type-checking for python.

Batsh

A language that compiles to Bash and Windows Batch

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

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.

google-drive-ocamlfuse

FUSE filesystem over Google Drive

fastpack

Pack JS code fast & easy

comby

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

pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

unison

Unison file synchronizer

mirage

MirageOS is a library operating system that constructs unikernels

irmin

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

type-systems

Implementations of various type systems in OCaml.

merlin

Context sensitive completion for OCaml in Vim and Emacs

dune

A composable build system for OCaml.

catala

Programming language for literate programming law specification

odiff

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

bap

Binary Analysis Platform

plzoo

Programming Languages Zoo

dream

Tidy, feature-complete Web framework

bincat

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

opam

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

opalang

The Opa Language for Web Application Development

caramel

🍬 a functional language for building type-safe, scalable, and maintainable applications

js_of_ocaml

Compiler from OCaml to Javascript.

mina

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

owl

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

SATySFi

A statically-typed, functional typesetting system

austral

Systems language with linear types and capability-based security.

datakit

Connect processes into powerful data pipelines with a simple git-like filesystem interface

eff

A functional programming language based on algebraic effect handlers

book

V2 of Real World OCaml

core

Jane Street Capital's standard library overlay

genType

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

reason-react

vpnkit

A toolkit for embedding VPN capabilities in your application

incremental

A library for incremental computations

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.

utop

Universal toplevel for OCaml

opium

Sinatra like web toolkit for OCaml

reason-language-server

A language server for reason, in reason

ocaml-multicore

Multicore OCaml

rhine-ml

🏞 an OCaml compiler for an untyped lisp

lwt

OCaml promises and concurrent I/O

ReasonablyTyped

💠 Converts Flow and TypeScript definitions to Reason interfaces

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-graphql-server

GraphQL servers in OCaml

angstrom

Parser combinators built for speed and memory efficiency

base

Standard library for OCaml

melange

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

hazel

Hazel, a live functional programming environment with typed holes

brisk

✨Cross-platform set of tools for building native UIs with Reason/OCaml

JSCaml

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

ocaml-lsp

OCaml Language Server Protocol implementation

ocamlformat

Auto-formatter for OCaml code

tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C

httpaf

A high performance, memory efficient, and scalable web server written in OCaml

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

batteries-included

Batteries Included project

LinearML

Functional language for parallel programming

ppx_deriving

Type-driven code generation for OCaml

eio

Effects-based direct-style IO for multicore OCaml

MariOCaml

HTML 5 canvas implementation of Mario written in Ocaml

gravitron

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

min-caml

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

hardcaml

Hardcaml is an OCaml library for designing hardware.

alcotest

A lightweight and colourful test framework

coccinelle

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

NEAL

🔎🐞 A language-agnostic linting platform

lambdasoup

Functional HTML scraping and rewriting with CSS in OCaml

malfunction

Malfunctional Programming

ocaml-ctypes

Library for binding to C libraries using pure OCaml

reason-tools

Adds Reason to the browser

notty

Declarative terminal graphics for OCaml

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

bolt

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

ocaml-git

Pure OCaml Git format and protocol

karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

graphql_ppx

GraphQL PPX rewriter for Bucklescript/ReasonML

snarky

OCaml DSL for verifiable computation

CAMLBOY

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

ott

The Ott tool for writing definitions of programming languages and calculi

type-inference

The Hindley Milner Type Inference Algorithm

bisect_ppx

Code coverage for OCaml and ReScript

vult

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

ocaml-torch

OCaml bindings for PyTorch

ocaml-h2

An HTTP/2 implementation written in pure OCaml

odoc

Documentation compiler for OCaml and Reason

seattlejsconf-app

ReasonML React Native App for SeattleJS Conf

atd

Static types for JSON APIs

qcheck

QuickCheck inspired property-based testing for OCaml.

andromeda

A proof assistant for general type theories

luv

Cross-platform asynchronous I/O and system calls

0install

the core 0install package

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, F#

ocaml

OCaml, Shell, HTML

reasonml

OCaml, JavaScript, Reason

mirage

semgrep

C, OCaml, Python

rescript-lang

OCaml, ReScript, JavaScript

astrada

OCaml, JavaScript, C

coq

OCaml, Shell, Coq

batsh-dev-team

ocaml-multicore

OCaml, TeX, Jupyter Notebook

bcpierce00

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

ocsigen

OCaml, JavaScript, Shell

jaredly

JavaScript, OCaml, Python

dbuenzli

OCaml, Dockerfile, Makefile

comby-tools

JavaScript, Go, Elm

fastpack

JavaScript, OCaml

moby

Go, OCaml, Dockerfile

BinaryAnalysisPlatform

OCaml, C, Python

ocaml-community

leostera

OCaml, JavaScript, Erlang

ocaml-ppx

andrejbauer

OCaml, Python, TeX