Top 1615 ocaml open source projects

The Makam Metalanguage

A compiler from ML to C++ template language

A Mirage firewall VM for QubesOS

Easy OCaml bindings for Javascript libraries

📻 Bucklescript loader for Webpack and Jest

cross-platform multi-network p2p daemon

Typed Regular Expressions

Website infrastructure and content for mirage.io

A safe, comprehensible and efficient PID 1/init replacement written in OCaml.

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

A compiler for the 🎃 Spooky 😱 programming language 👻

OCaml library for reading, writing and modifying PDF files

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

Websocket library for OCaml

ReasonML bindings for Expo

Property fuzzing for OCaml

A webframework for Reason and OCaml

The Redexer binary instrumentation framework for Dalvik bytecode

Interfacing Qt/QML with OCaml. Formely known as lablqt

JavaScript signature notation

React in pure Reason that targets native platforms.

tool for creating supermin appliances (formerly called febootstrap). PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us. http://libguestfs.org

Implementation of the λΠ-calculus modulo rewriting

Javascript back-end for OCamlc

PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.

A Protobuf Compiler for OCaml

Release snapshots of the Frama-C platform for source code analysis

Proof assistant based on the λΠ-calculus modulo rewriting

Base library and tools for ppx rewriters

CuteBi Linux Network Client

MirageOS is a library operating system that constructs unikernels

Patoline typesetting system

React.js-like reconciler implemented in OCaml/Reason

Error-recovering streaming HTML5 and XML parsers

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

Cabal like system for OCaml

CLI program for controlling the spotify desktop client

Tools for authors of ppx rewriters

Make OCaml/Reason errors prettier

A functional language with Reason-like syntax that compiles to Go.

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

OCaml-bindings for the PostgreSQL database

a fast, declarative microrouter for reason-react

Quick C-- compiler (no longer maintained)

Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT

Staged metaprogramming in stock OCaml

Import OCaml programs to Coq 🐓 🐫

Semantics of Virtual Machine for IELE prototype blockchain

Documentation of everything relevant in the OCaml world

OCaml debug adapter