Sudha247

ocaml-joy

ocaml5-tutorial-icfp-22

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

code-samples

code examples

affect

Composable concurrency primitives with OCaml effects handlers (unreleased)

coc-presentation

coq

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.

domainslib

Parallel Programming over Domains

dscheck

eio

Effects-based direct-style IO for multicore OCaml

install-ocaml

Instructions for setting up an OCaml development environment

irmin

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

lockfree

Lock-free data structures for multicore OCaml

lwt

OCaml promises and concurrent I/O

mirage-block-unix

Unix implementation of the Mirage_types.BLOCK interface

npy-ocaml

Numpy file format support for ocaml.

ocaml

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

ocaml-cohttp

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

ocaml-plplot

OCaml bindings for PLplot

ocaml-tar

Pure OCaml library to read and write tar files

ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

olly-bug-repro

opam-repository

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

owl

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

pyml

OCaml bindings for Python

runtime_events_tools

sandmark

Benchmarking the OCaml compiler and all its friends

tezos

Tezos running on Multicore OCaml

unified_interface

Unified Interface to compose different schedulers in OCaml

web-frameworks

Which is the fastest web framework?