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

odiff

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

mollymawk

A web interface for albatross

mirage-torrent

semgrep

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

onionctrl

catala

Programming language for literate programming law specification

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.

flow

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

magic-trace

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

karamel

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

infer

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

ppx_router

type safe routing for Dream

picos

Interoperable effects based concurrency

bytesrw

Composable byte stream readers and writers for OCaml

possum_parser_language

A tiny text parsing language

dream-html

Generate HTML markup from your Dream backend server

ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook

pyre-check

Performant type-checking for python.

hardcaml

Hardcaml is an OCaml library for designing hardware.

reason

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

riot

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

melange

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

comby

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

soupault

Static website generator based on HTML element tree rewriting

polytt

A type theory with native support for Polynomial Functors.

unison

Unison file synchronizer

redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

httpcats

ocamlgraph

OCaml graph library

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

language-garden

A garden of small programming language implementations 🪴

alcotest

A lightweight and colourful test framework

ocaml-fsevents

macOS bindings to the FSEvents API

coinduction

A Coq plugin to help with proofs by coinduction.

rescript-compiler

The compiler for ReScript.

type-systems

Implementations of various type systems in OCaml.

miou

A simple scheduler for OCaml 5

dream

Tidy, feature-complete Web framework

tlapm

The TLA Proof Manager

ocaml-ci

A CI for OCaml projects

dune-release

Streamlining the release of dune packages to opam

ocaml_openapi_generator

An OpenAPI 3 to OCaml client generator.

Batsh

A language that compiles to Bash and Windows Batch

bob

A peer-to-peer file-transfer tool in OCaml

ocaml-tree-sitter-core

OCaml code generator and runtime library for handling typed tree-sitter CSTs

ocurrent

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

predicativize

A tool for sharing proofs with predicative systems

bantorra

📚 A library for managing libraries and resolving unit paths

dc-machine

a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.

cor

Small core of Roc, for experiments

gospel

A tool-agnostic formal specification language for OCaml.

cmdliner-cheatsheet

Cheatsheet for adding command-line options to an OCaml program using cmdliner

ocaml-bpf

OCaml embedded eBPF assembler

Zarith

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

prettier

Pretty printing library for OCaml

ocaml-containers

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

ocaml-oidc

OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.

bonsai

A library for building dynamic webapps, using Js_of_ocaml

ocaml-flap

A deterministic parser with fused lexing

lwt_domain

Parallelism in Lwt using domainslib

caboodle

ppx_expect

Cram like framework for OCaml

binsec

BINSEC binary-level open-source platform

austral

Systems language with linear types and capability-based security.

ocaml-lsp

OCaml Language Server Protocol implementation

links

Links: Linking Theory to Practice for the Web

camlboot

Experiment on how to bootstrap the OCaml compiler

dde

Pure Demand Operational Semantics

hol-light

The HOL Light theorem prover

csprimer

my solutions for csprimer.com exercises

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

nethsm

Nitrokey NetHSM system software and firmware

plzoo

Programming Languages Zoo

dream-routes

Define your Dream router with Routes

orm

Object Relational Mapper extension

lascar

An OCaml library for manipulating Labeled Transition Systems

ocaml-graphql-server

GraphQL servers in OCaml

geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

atd

Static types for JSON APIs

coqfmt

Coq code formatter

patoline

Patoline typesetting system

prowl

WIP stack language that uses regex for control flow

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

mhash

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

lr

An interactive tool for experimenting with LR(1) grammars

irmin

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

ocaml-ctypes

Library for binding to C libraries using pure OCaml

res_tailwindcss

ReScript PPX which validates the tailwindcss class names

art

Adaptive Radix Tree in OCaml

ocaml-charset

polaris

A functional programming language with shell scripting capabilities

hax

A Rust verification tool

webidl

Web IDL parser of OCaml

ocaml-quic

ocamlpt

Path tracer live coded in stream

lwt_eio

Use Lwt libraries from within Eio

rea-ml

Effectful OCaml with Objects and Variants

minttea

A fun little TUI framework for OCaml

typst_of_jupyter

Convert Jupyter notebooks to Typst source code (and then to PDFs)

sherlodoc

Fuzzy type search for OCaml documentation

facebook

C++, JavaScript, Python

janestreet

OCaml, Makefile, F#

ocaml

OCaml, Shell, HTML

reasonml

OCaml, Reason, JavaScript

mirage

semgrep

C, OCaml, Python

rescript-lang

OCaml, ReScript, JavaScript

astrada

OCaml, JavaScript, C

coq

OCaml, Shell, HTML

batsh-dev-team

ocaml-multicore

OCaml, Python, C

bcpierce00

facebookarchive

JavaScript, Go, Python

aantron

OCaml, Reason, ReScript

ocsigen

OCaml, JavaScript, Shell

jaredly

JavaScript, OCaml, Python

dbuenzli

OCaml, Dockerfile, Makefile

comby-tools

JavaScript, Elm, Go

fastpack

JavaScript, OCaml

moby

Go, OCaml, Dockerfile

BinaryAnalysisPlatform

OCaml, C, Python

ocaml-community

leostera

OCaml, JavaScript, Erlang

ocaml-ppx

andrejbauer

OCaml, TeX, Python