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

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

FUSE filesystem over Google Drive

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

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

MirageOS is a library operating system that constructs unikernels

A Proof-oriented Programming Language

Binary Analysis Platform

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

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

Tidy, feature-complete Web framework

Nodebook - Multi-Lang Web REPL + CLI Code runner

Context sensitive completion for OCaml in Vim and Emacs

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

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 dev...

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

A statically-typed, functional typesetting system

Compiler from OCaml to Javascript.

All Subjects of 42 School

Hazel, a live functional programming environment with typed holes

The Felix Programming Language

Multicore OCaml

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

🏞 an OCaml compiler for an untyped lisp

OCaml promises and concurrent I/O

GraphQL servers in OCaml

Faster, simpler and more portable implementation of `jq` in OCaml

TEA for Bucklescript

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

Parser combinators built for speed and memory efficiency

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

Auto-formatter for OCaml code

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

A standard library with the same API in F#, Rescript and OCaml

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

A lightweight and colourful test framework

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

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

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

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

OCaml bindings for PyTorch