Ocaml Open Source Projects

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

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

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

The Z3 Theorem Prover

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

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

Cool open source projects. Choose your project and get involved in Open Source development now.

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

Native, lightweight modal code editor

The compiler for ReScript.

Performant type-checking for python.

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

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

FUSE filesystem over Google Drive

The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

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 file synchronizer

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

A Proof-oriented Programming Language

MirageOS is a library operating system that constructs unikernels

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Programming language for literate programming law specification

CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

Pack JS code fast & easy

Binary Analysis Platform

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

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

A composable build system for OCaml.

Tidy, feature-complete Web framework

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

Context sensitive completion for OCaml in Vim and Emacs

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.

Nodebook - Multi-Lang Web REPL + CLI Code runner

Implementations of various type systems in OCaml.

Systems language with linear types and capability-based security.

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

A collection of awesome things regarding Reason/OCaml ecosystem.

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Jane Street Capital's standard library overlay

The Opa Language for Web Application Development

V2 of Real World OCaml

A statically-typed, functional typesetting system

A toolkit for embedding VPN capabilities in your application

Compiler from OCaml to Javascript.

Hazel, a live functional programming environment with typed holes

:candy: a functional language for building type-safe, scalable, and maintainable applications

Hardcaml is an OCaml library for designing hardware.

Standard library for OCaml

A library for incremental computations

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

A list of awesome idiomatic code resources. Rust:crab:, Go, Ruby:gem:, Pony :horse:, Ocaml :camel:, Erlang and more

Universal toplevel for OCaml

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

A functional programming language based on algebraic effect handlers

OCaml Language Server Protocol implementation