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.

clerical

Command-like expressions for real infinite-precision calculations

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

ocaml

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

melange

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

Claudius

Sparse submissions for Genuary 2023

pyre-check

Performant type-checking for python.

hol-light

The HOL Light theorem prover

magic-trace

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

obatcher

A Framework for building Batched Concurrent Data Structures

s2n-bignum

hax

A Rust verification tool

ocaml-api-watch

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

infer

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

helix

Build reactive web interfaces in OCaml.

nqcc2

Reference implementation for Writing a C Compiler

flow

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

bincat

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

remora

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

comby

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

dune

A composable build system for OCaml.

saturn

Lock-free data structures for multicore OCaml

merlin

Context sensitive completion for OCaml in Vim and Emacs

signal

Reactive signals for OCaml.

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

type-systems

Implementations of various type systems in OCaml.

malfunction

Malfunctional Programming

hardcaml

Hardcaml is an OCaml library for designing hardware.

mirage

MirageOS is a library operating system that constructs unikernels

polaris

A functional programming language with shell scripting capabilities

SATySFi

A statically-typed, functional typesetting system

js_of_ocaml

Compiler from OCaml to Javascript.

ocaml-practice-exercises

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

piaf

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

gamelle

2d game engine for OCaml

base

Standard library for OCaml

soupault

Static website generator based on HTML element tree rewriting

ppxlib

Base library and tools for ppx rewriters

austral

Systems language with linear types and capability-based security.

blogger

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

reason

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

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

dream

Tidy, feature-complete Web framework

minttea

A fun little TUI framework for OCaml

bap

Binary Analysis Platform

split-arrow

An alternative presentation of arrows

flambda-backend

The Flambda backend project for OCaml

narya

A proof assistant for higher-dimensional type theory

jj_tui

A TUI for the Jujutsu version control system

octane.ml

The fastest, hottest

bluesky-bot-ocaml

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

textbook

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

riot

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

google-drive-ocamlfuse

FUSE filesystem over Google Drive

catala

Programming language for literate programming law specification

pyml

OCaml bindings for Python

mlsub

Prototype type inference engine

ott

The Ott tool for writing definitions of programming languages and calculi

melange-tea

links

Links: Linking Theory to Practice for the Web

create-melange-app

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

odiff

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

eio

Effects-based direct-style IO for multicore OCaml

ocaml-h2

An HTTP/2 implementation written in pure OCaml

bogue

GUI library for ocaml based on SDL2

book

V2 of Real World OCaml

c2bf

Compiler from C to brainfuck

incremental

A library for incremental computations

ocamlbyexample

Learn Ocaml by reading code examples

vscoq

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

DrawGrammar

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

docfd

TUI multiline fuzzy document finder

spatial-shell

Implementing a spatial model inspired by Material Shell, for i3 and sway.

hachis

A hash set and hash map library for OCaml

cil

C Intermediate Language

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.

camlboot

Experiment on how to bootstrap the OCaml compiler

cmarkit

CommonMark parser and renderer for OCaml

ocaml-ctypes

Library for binding to C libraries using pure OCaml

git-split

A TUI commit splitting tool for git

zarr-ml

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

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

proof-assistant-project

Template for the proof assistant project CSC_51051_EP.

ocaml-purl

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

ego

EGraphs in OCaml

jsonrpc2

JSON RPC 2.0 for OCaml

khasmc

A functionally based programming language with builtin memoization.

ocaml-containers

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

utop

Universal toplevel for OCaml

Zarith

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

tlapm

The TLA Proof Manager

vscode-ocaml-platform

Visual Studio Code extension for OCaml

cameleer

A Deductive Verification Tool for OCaml Programs

tlstunnel

A TLS reverse proxy unikernel

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

ppx_deriving_yaml

OCaml types to Yaml types and back again

TAPL

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, F#

ocaml

OCaml, Shell, HTML

semgrep

C, OCaml, Python

reasonml

OCaml, Reason, JavaScript

mirage

OCaml, C, Shell

astrada

OCaml, JavaScript, Java

coq

OCaml, Shell, Dockerfile

batsh-dev-team

ocaml-multicore

OCaml, C, Python

bcpierce00

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

ocsigen

OCaml, HTML, Makefile

jaredly

JavaScript, OCaml, Python

dbuenzli

OCaml, Dockerfile, Makefile

comby-tools

JavaScript, Go, Elm

fastpack

JavaScript, OCaml

leostera

OCaml, JavaScript, Erlang

BinaryAnalysisPlatform

OCaml, C, Python

ocaml-community

moby

Go, OCaml, HTML

ocaml-ppx

andrejbauer

OCaml, TeX, Python

dmtrKovalenko

JavaScript, TypeScript, Rust

Show more »