ocaml

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

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

Performant type-checking for python.

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

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.

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

Binary Analysis Platform

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

Context sensitive completion for OCaml in Vim and Emacs

Nodebook - Multi-Lang Web REPL + CLI Code runner

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

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

A statically-typed, functional typesetting system

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi...

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

Compiler from OCaml to Javascript.

Hazel, a live functional programming environment with typed holes

All Subjects of 42 School

The Felix Programming Language

OCaml promises and concurrent I/O

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

Multicore OCaml

Auto-formatter for OCaml code

A verification toolchain for Rust programs

Parser combinators built for speed and memory efficiency

Effects-based direct-style IO for multicore OCaml

An actor-model multi-core scheduler for OCaml 5 🐫

🏞 an OCaml compiler for an untyped lisp

Faster, simpler and more portable implementation of jq-inspired language in OCaml

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

GraphQL servers in OCaml

TEA for Bucklescript

🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml

Main public package repository for opam, the source package manager of OCaml.

✨Cross-platform set of tools for building native UIs with Reason/OCaml

A high performance, memory efficient, and scalable web server written in OCaml

Vult is a transcompiler well suited to write high-performance DSP code

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.