lpw25/lpw25.github.com

Stars
1
Language
HTML
Created almost 12 years ago
Updated 5 months ago

lpw25/lpw25.github.com

lpw25

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

Website

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

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

ocaml-cmt-doc

Experiment with adding OCamlDoc info to the parse tree