Most popular ocaml repositories and open source projects

TZComet

Contract Metadata Viewer on Tezos

2   26   26  

um-abt

An OCaml library implementing unifiable abstract binding trees (UABTs...

1   26   26  

ocaml-gitlab

Native OCaml bindings to Gitlab REST API v4

6   26   26  

ocaml-opentelemetry

Instrumentation for https://opentelemetry.io

3   26   26  

ocaml-docker

Binding to the Docker Remote API

4   25   25  

vec

Fast, safe mutable dynamic arrays for OCaml

2   25   25  

ocaml-openpgp

WiP: RFC 4880 (OpenPGP) library and utilities in OCaml

3   25   25  

coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

2   25   25  

sundialsml

An OCaml interface to the Sundials suite of numeric solvers.

8   25   25  

syslog-message

OCaml parser for RFC 3164 Syslog messages

4   25   25  

ocamlfuse

OCamlFuse mirror with dune support

9   25   25  

encore

Synonym of angkor

8   25   25  

benchpress

Testing and benchmarking tool for logic-related programs.

6   25   25  

category-theory-for-programmers

🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean tra...

0   25   25  

rules_ocaml

A Bazel Language Support Package for OCaml

6   25   25  

prowl

WIP stack language that uses regex for control flow

0   25   25  

jwto

JWTs for OCaml

7   24   24  

cdetect

:microscope: Detect which compiler and compiler version a Linux execut...

1   24   24  

foundry

Foundry Compiler

3   24   24  

trakeva

Transactions, Keys, and Values

3   24   24  

scramlkb

Passphrase entry utility that aims to defeat hardware keyloggers and l...

4   24   24  

learn

Learn CS by doing!

9   24   24  

fold

A modern pragmatic functional language. (Unreleased)

2   24   24  

memcad

The MemCAD static analyzer

5   24   24  

archsat

A proof-producing SMT/McSat solver, handling polymorphic first-order l...

3   24   24  

secp256k1-ml

Elliptic curve library secp256k1 wrapper for Ocaml

9   24   24  

esoo

Like the Programming Languages Zoo but with esoteric languages.

1   24   24  

es-cli

Command-line client for Elasticsearch written in OCaml

2   24   24  

ocamlfind

The OCaml findlib library manager

25   24   24  

shmup.re

Learning Reason/OCaml by making an old-school canvas game.

2   23   23  

jsoo_router

A small router to write easily single-page-app in Js_of_ocaml

0   23   23  

mirage-examples

Work-in-Progress collection of examples of using MirageOS from OCaml

1   23   23  

reason-react-playground

Reason React with editable source and live preview

1   23   23  

solvuu-build

DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).

5   23   23  

planet

A timetracker and a page generator

1   23   23  

ocaml-systemd

OCaml module for native access to the systemd facilities

7   23   23  

ocaml-pbkdf

Password based key derivation functions from PKCS#5, RFC 2898

5   23   23  

horned_worm

An easy functional Web app micro framework.

0   23   23  

nibbledb

a byte-sized time series database

0   23   23  

LILiS

L-system interpreter in OCaml

1   23   23  

ocb

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There...

2   23   23  

NumLin

NumLin: Linear Types for Linear Algebra

4   23   23  

jsoo_todomvc

Todo App implemented in js_of_ocaml

1   23   23  

ocaml-pcap

OCaml code for generating and analysing pcap (packet capture) files

12   23   23  

ocaml-tsort

Easy to use and user-friendly topological sort module for OCaml

2   23   23  

monadic-synth

A monadic library for creating synthesizers in OCaml.

2   23   23  

oraft

Library of Raft consensus algorithm implemented in OCaml

0   23   23  

choice

Choice operator in OCaml, providing a backtracking monad

5   22   22  

cheerios

Formally verified Coq serialization library with support for extractio...

5   22   22  

spelll

fuzzy string searching, using Levenshtein automaton. Can be used for s...

3   22   22