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

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

An extensive list of cool open source projects written in С, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala etc.

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

A backend for the OCaml compiler which emits JavaScript.

Native, lightweight modal code editor

FUSE filesystem over Google Drive

Performant type-checking for python.

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

Klipse is a Javacript plugin for embedding interactive code snippets in tech blogs. A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml, prolog, common lisp

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

Verification system for effectful programs

MirageOS is a library operating system that constructs unikernels

Nodebook - Multi-Lang Web REPL + CLI Code runner

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

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

Binary Analysis Platform

Context sensitive completion for OCaml in Vim and Emacs

A composable build system for OCaml.

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

A statically-typed, functional typesetting system

🏞 an OCaml compiler for an untyped lisp

Compiler from OCaml to Javascript.

All Subjects of 42 School

The Felix Programming Language

TEA for Bucklescript

GraphQL servers in OCaml

Multicore OCaml

An OCaml library for HTTP clients and servers using Lwt or Async