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-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-charset

Fast char sets

ocaml-syb

Scrap Your Boilerplate for OCaml with modular implicits

semantics-agda

Agda mechanisation of the University of Cambridge Semantics of Programming Languages course

metaocaml-charmatch

cc_cl_cam_ac_uk

OCaml code for Compiler Construction course at University of Cambridge

subtypes

First-class subtypes for OCaml

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

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

ocaml-macros

OCaml with macros

ppx_effects

records

Dynamic records in OCaml

srepls.github.io

SREPLS homepage