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.

riot

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

unison

Unison file synchronizer

hax

A Rust verification tool

docfd

TUI multiline fuzzy document finder

odiff

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

rescript-compiler

The compiler for ReScript.

dream

Tidy, feature-complete Web framework

infer

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

minttea

A fun little TUI framework for OCaml

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.

austral

Systems language with linear types and capability-based security.

magic-trace

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

bincat

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

pyre-check

Performant type-checking for python.

comby

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

flow

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

Batsh

A language that compiles to Bash and Windows Batch

melange

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

kcas

Software Transactional Memory for OCaml

soupault

Static website generator based on HTML element tree rewriting

reason

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

picos

Interoperable effects based concurrency

eio

Effects-based direct-style IO for multicore OCaml

alcotest

A lightweight and colourful test framework

miou

A simple scheduler for OCaml 5

serde.ml

Serialization framework for OCaml

vWasm

A formally-verified provably-safe sandboxing Wasm-to-native compiler

textbook

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

js_of_ocaml

Compiler from OCaml to Javascript.

ocaml-lsp

OCaml Language Server Protocol implementation

dream-html

Generate HTML markup from your Dream backend server

create-melange-app

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

dune

A composable build system for OCaml.

ocamix

mirage

MirageOS is a library operating system that constructs unikernels

polaris

A functional programming language with shell scripting capabilities

wasocaml

catala

Programming language for literate programming law specification

language-garden

A garden of small programming language implementations 🪴

diffcessible

ocaml_openapi_generator

An OpenAPI 3 to OCaml client generator.

ocaml-cohttp

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

melange-fest

A minimal test framework for Melange using Node test runner

google-drive-ocamlfuse

FUSE filesystem over Google Drive

possum_parser_language

A tiny text parsing language

ohex

Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex

hazel

Hazel, a live functional programming environment with typed holes

ocaml-protoc-plugin

Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages

server-reason-react

Server rendering Reason React components with OCaml natively

incremental

A library for incremental computations

ocaml-wayland

Pure OCaml Wayland protocol implementation

config.ml

conditional compilation via attributes for OCaml

house_builder_ocaml

ocaml-diffutils

An ocaml library for manipulating diffs.

granular_marshal

gptar

GPT + TAR header

forester-fmt

Code formatting and document conversion utilities for forester

bap

Binary Analysis Platform

ppx_minidebug

Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or Markdown trees with highlights.

hardcaml

Hardcaml is an OCaml library for designing hardware.

yojson

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

utop

Universal toplevel for OCaml

cmdliner

Declarative definition of command line interfaces for OCaml

LanguageEtudes

Components of programming languages, all implemented in self-contained files

owl

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

plzoo

Programming Languages Zoo

testo

Test framework for OCaml

lwt

OCaml promises and concurrent I/O

type-inference

The Hindley Milner Type Inference Algorithm

oframl

A framework for building Farcaster Frames in OCaml

core

Jane Street Capital's standard library overlay

karamel

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

binsec

BINSEC binary-level open-source platform

irmin

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

s2n-bignum

ocaml-graphql-server

GraphQL servers in OCaml

ocaml-containers

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

flyspeck

The formal proof of the Kepler conjecture

opam

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

bonsai

A library for building dynamic webapps, using Js_of_ocaml

eff

A functional programming language based on algebraic effect handlers

mollymawk

A web interface for albatross

mirage-torrent

rat

🐀 Regular Expression Denial of Service analyzer.

vscoq

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

ocaml-ci

A CI for OCaml projects

eio_js

Eio for JavaScript environments

quickjs.ml

OCaml bindings to QuickJS

nox

The Nox programming language

ocaml-api-watch

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

SATySFi

A statically-typed, functional typesetting system

raylib-ocaml

OCaml bindings for raylib and raygui

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

dune-release

Streamlining the release of dune packages to opam

meio

Monitor Eio programs

piaf

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

hyper

OCaml Web client, composable with Dream [unannounced]

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, F#

ocaml

OCaml, Shell, HTML

reasonml

OCaml, JavaScript, Reason

mirage

semgrep

C, OCaml, Python

rescript-lang

JavaScript, ReScript, OCaml

astrada

OCaml, JavaScript, Reason

coq

OCaml, Shell, HTML

batsh-dev-team

ocaml-multicore

OCaml, TeX, Jupyter Notebook

bcpierce00

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

ocsigen

OCaml, JavaScript, Makefile

jaredly

JavaScript, OCaml, Python

dbuenzli

OCaml, Dockerfile, Shell

comby-tools

JavaScript, Go, Elm

fastpack

JavaScript, OCaml

moby

Go, OCaml, Dockerfile

BinaryAnalysisPlatform

OCaml, Python, C

ocaml-community

leostera

OCaml, JavaScript, Erlang

andrejbauer

OCaml, TeX, Python

ocaml-ppx