Top 1615 ocaml open source projects

Inline (Unit) Tests for OCaml

A functional language frontend for the Dart VM.

Workspace manager for i3-wm

Jane Street Capital's asynchronous execution library (core)

A composable build system for OCaml.

A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries produced by this compiler are in no way compatible with binaries produced by ocamlopt.

Binary protocol generator

libuv bindings for OCaml

Syntax extension for embedded SQL queries using PG'OCaml.

A simple state-machine framework for OCaml based on QCheck

OCaml bot for arbitraging Bitcoin exchanges

GUI library for ocaml based on SDL2

Preprocessor / Pretty Printer for OCaml

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)

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.

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml, Java and Exascript.

OCaml Format pretty-printer combinators

Pretty printing library

Yet another type combinator library

BuckleScript binding for Phoenix Channel/Presence

MessagePack implementation for OCaml / msgpack.org[OCaml]

self-hosted compiler for a subset of OCaml

A library to help writing wrappers around ocaml code for python

Simple and fast site generator

A simple OCaml library for writing Erlang port drivers.

OCaml interface for creating Dockerfiles

A demo deployment of ReasonML and Apollo GraphQL using Docker

Constant time equal function to avoid timing attacks in OCaml

Automatically build and dynlink ocaml source files

The missing Docker Toolkit

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

Trivial Metaprogramming tool using the OCaml toplevel

Pragma is a self-hosted, open-source, personal note taking app.

Cryptographic primitives for MirageOS

Heterogeneous value maps for OCaml

Bitcoin data-structures library for OCaml

OCaml bindings for Google's LevelDB

Functional reactive programming with incremental changes in data structures

OCamlOScope 2 : OCaml API search

OCaml BitTorrent library and client

Ocaml From The Very Beginning solved with Reason instead of Ocaml

OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is similar to Hoogle, which is a Haskell API search engine. You could use this on Web browser.

A web-based chat application built with ReasonML

How to implement common CRUD functionality in ReasonML + ReasonReact.

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

Result value combinators for OCaml