lpw25/ocaml-open

This repository has been archived on 10/Mar/2019
Stars
1
Language
OCaml
License
Other
Created almost 12 years ago
Updated almost 12 years ago

lpw25/ocaml-open

lpw25

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Add open extensible types to OCaml (forked from ocaml/ocaml)

girards-paradox

A "implementation" of Girard's paradox in OCaml

ocaml-typed-effects

OCaml with typed algebraic effects

namespaces

Proposal for namespacing in OCaml

prof_spacetime

Prof. Spacetime

implicits-module-system

Work on modular implicits

shifted-names

Coq library for handling names

ecaml

async_graphics

Async wrapper for OCaml Graphics library

talks

Sources for talks I've given

ocaml-with-pp

OCaml driver with pre-linked pp options

compiler_eq

Tool for comparing OCaml compilers

row-subtyping

dune-effects

Dune but with effects

opam-units

Library for querying the libraries and compilation units of OPAM packages

mode-semantics

opam-doc-base

Store documentation for OPAM packages

nominal-effects

Paper and prototype on nominal algebraic effects

alternative-effects-api

An alternative to the upstream effects module

split-arrow

An alternative presentation of arrows

bin-doc

Store OCamlDoc info in a binary file

modular-macros-spec

Specification for part of modular macros

ocaml-cmt-doc

Experiment with adding OCamlDoc info to the parse tree

lpw25.github.com