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.

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.

unison

Unison file synchronizer

pfff

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

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

odiff

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

dune

A composable build system for OCaml.

catala

Programming language for literate programming law specification

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.

austral

Systems language with linear types and capability-based security.

opalang

The Opa Language for Web Application Development

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.

caramel

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

owl

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

SATySFi

A statically-typed, functional typesetting system

eff

A functional programming language based on algebraic effect handlers

datakit

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

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.

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.

incremental

A library for incremental computations

vpnkit

A toolkit for embedding VPN capabilities in your application

reason-react

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

lwt

OCaml promises and concurrent I/O

rhine-ml

🏞 an OCaml compiler for an untyped lisp

melange

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

ocaml-cohttp

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

ReasonablyTyped

💠 Converts Flow and TypeScript definitions to Reason interfaces

base

Standard library for OCaml

ocaml-graphql-server

GraphQL servers in OCaml

angstrom

Parser combinators built for speed and memory efficiency

brisk

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

ocaml-lsp

OCaml Language Server Protocol implementation

JSCaml

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

ocamlformat

Auto-formatter for OCaml code

tis-interpreter

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

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

httpaf

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

ppx_deriving

Type-driven code generation for OCaml

batteries-included

Batteries Included project

LinearML

Functional language for parallel programming

eio

Effects-based direct-style IO for multicore OCaml

MariOCaml

HTML 5 canvas implementation of Mario written in Ocaml

hardcaml

Hardcaml is an OCaml library for designing hardware.

ocaml-containers

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

alcotest

A lightweight and colourful test framework

gravitron

min-caml

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

coccinelle

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

NEAL

🔎🐞 A language-agnostic linting platform

malfunction

Malfunctional Programming

lambdasoup

Functional HTML scraping and rewriting with CSS in OCaml

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

ocaml-ctypes

Library for binding to C libraries using pure OCaml

notty

Declarative terminal graphics for OCaml

reason-tools

Adds Reason to the browser

bolt

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

karamel

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

ott

The Ott tool for writing definitions of programming languages and calculi

ocaml-git

Pure OCaml Git format and protocol

CAMLBOY

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

graphql_ppx

GraphQL PPX rewriter for Bucklescript/ReasonML

snarky

OCaml DSL for verifiable computation

vult

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

odoc

Documentation compiler for OCaml and Reason

type-inference

The Hindley Milner Type Inference Algorithm

bisect_ppx

Code coverage for OCaml and ReScript

ocaml-torch

OCaml bindings for PyTorch

ocaml-h2

An HTTP/2 implementation written in pure OCaml

riot

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

atd

Static types for JSON APIs

0install

the core 0install package

yojson

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

seattlejsconf-app

ReasonML React Native App for SeattleJS Conf

ocaml-tls

TLS in pure OCaml

luv

Cross-platform asynchronous I/O and system calls

andromeda

A proof assistant for general type theories

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, F#

ocaml

OCaml, Shell, HTML

semgrep

C, OCaml, Python

reasonml

OCaml, JavaScript, Reason

mirage

OCaml, C, Shell

astrada

OCaml, JavaScript, Python

coq

OCaml, Shell, Coq

batsh-dev-team

ocaml-multicore

OCaml, C, Jupyter Notebook

bcpierce00

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

ocsigen

OCaml, HTML, Makefile

jaredly

JavaScript, OCaml, Python

dbuenzli

OCaml, Shell, Makefile

comby-tools

JavaScript, Elm, Go

fastpack

JavaScript, OCaml

leostera

OCaml, JavaScript, Erlang

BinaryAnalysisPlatform

OCaml, Python, C

ocaml-community

moby

Go, OCaml, HTML

ocaml-ppx

andrejbauer

OCaml, TeX, Python

dmtrKovalenko

JavaScript, TypeScript, C

Show more »