lpw25/row-subtyping

Stars
6
Rank 2,539,965 (Top 51 %)
Language Coq
Created almost 7 years ago
Updated almost 5 years ago

lpw25/row-subtyping

lpw25

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

Row subtyping

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

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

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

ocaml-cmt-doc

Experiment with adding OCamlDoc info to the parse tree

lpw25.github.com