ocaml-prelude

Includes the functions you need, that INRIA didn't.

GPL-3.0 License

Stars
5
View Code on GitHub
Ecosystems: OCaml

Statistics for this project are still being loaded, please check back later.

Related Projects
ocaml

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

20 Nov 2012 5,195
ocaml-extlib

Extended Standard Library for OCaml

01 Nov 2014 75
sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4
ocaml-makefile

Easy to use Makefile for small to medium-sized OCaml-projects

06 Jul 2014 74
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
stdlib-shims

Shim to substitute `Pervasives` with `Stdlib` before 4.08.

09 Jul 2018 11
ocaml-multicore

Multicore OCaml

24 Apr 2015 763
gen

Simple, efficient iterators for OCaml

10 Feb 2014 58
ocaml-monomorphic

A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

03 Jan 2014 24
js_of_ocaml

Compiler from OCaml to Javascript.

29 Jul 2013 932
ocaml-rs

OCaml extensions in Rust

15 Feb 2018 259
ocaml-for-pa

Introduction to OCaml for Program Analysis

04 Nov 2022 7
ocaml-library-standard

Documenting how OCaml libraries are managed

02 Oct 2019 11
angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637
ok

OCaml implementation of the K 2.0 array programming language

08 Apr 2015 80