lpw25/dune-effects

Stars
5
Rank 2,861,937 (Top 57 %)
Language
OCaml
License
Apache License 2.0
Created over 6 years ago
Updated over 6 years ago

lpw25/dune-effects

lpw25

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

Dune but with effects

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

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