yallop

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

ocaml-ctypes

Library for binding to C libraries using pure OCaml

higher

Higher-kinded programming in OCaml

ocaml-asp

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

fomega

System Fω interpreter for use in Advanced Functional Programming course

ocaml-flap

A deterministic parser with fused lexing

ocaml-integers

Various signed and unsigned integer types for OCaml

staged-generic-programming

Code for "Staged Generic Programming" (ICFP 2017)

metaocaml-letrec

flexible 'let rec' generation for MetaOCaml

ocaml-memcpy

ocaml-syb

Scrap Your Boilerplate for OCaml with modular implicits

metaocaml-charmatch

ocaml-reex

Staged regular expression library for MetaOCaml

subtypes

First-class subtypes for OCaml

intrinsics-report

cc_cl_cam_ac_uk

OCaml code for Compiler Construction course at University of Cambridge

check-markdown-urls

ocaml

Read-only mirror of INRIA SVN

opam-repository

Package descriptions for OPAM

ffi-overhead

comparing the c ffi (foreign function interface) overhead on various programming languages

imp

Experimental library using modular implicits

metaocaml-bibliography

MetaML and MetaOCaml bibliography

metaocaml-opam

A repository of MetaOCaml packages

modular-implicits-opam

ocaml_intrinsics

Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on other targets.

ppx_effects

records

Dynamic records in OCaml

RFCs

Design discussions about the OCaml language

srepls.github.io

SREPLS homepage

staged-streams.ocaml