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

ocaml-flap

A deterministic parser with fused lexing

fomega

System Fω interpreter for use in Advanced Functional Programming course

ocaml-integers

Various signed and unsigned integer types for OCaml

staged-generic-programming

Code for "Staged Generic Programming" (ICFP 2017)

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

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

safe-pattern-generation

Type-safe statically-unknown pattern generation in MetaOCaml

.github

Community health files: Contributing guidelines, Code of Conduct, ...

ffi-overhead

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

idris-frex

imp

Experimental library using modular implicits

Mappin

metaocaml-bibliography

MetaML and MetaOCaml bibliography

metaocaml-opam

A repository of MetaOCaml packages

modular-implicits-opam

ppx_effects

records

Dynamic records in OCaml

RFCs

Design discussions about the OCaml language

srepls.github.io

SREPLS homepage