lpw25 Goto Github PK

alternative-effects-api

An alternative to the upstream effects module

angstrom

Parser combinators built for speed and memory efficiency

async_graphics

Async wrapper for OCaml Graphics library

bin-doc

Store OCamlDoc info in a binary file

codoc

OCaml documentation and code maintenance

compiler-hacking

Wiki for compiler hacking sessions

compiler_eq

Tool for comparing OCaml compilers

cubical

An experimental library for Cubical Agda

doc-ock

Documentation generation for OCaml

doc-ock-html

From doc-ock to html

doc-ock-xml

XML printer and parser for Doc-Ock

dune-effects

Dune but with effects

ecaml

ecaml

flambda-backend

The Flambda backend project for OCaml

girards-paradox

A "implementation" of Girard's paradox in OCaml

implicits-module-system

Work on modular implicits

lpw25.github.com

Website

memtrace

Streaming client for OCaml's Memprof

merlin

Context sensitive completion for OCaml in Vim and Emacs

mode-semantics

modular-macros-spec

Specification for part of modular macros

namespaces

Proposal for namespacing in OCaml

nominal-effects

Paper and prototype on nominal algebraic effects

ocaml

My experiments with and extensions to OCaml

ocaml-cmt-doc

Experiment with adding OCamlDoc info to the parse tree

ocaml-effects

OCaml with support for (unchecked) algebraic effects and handlers

ocaml-jst

OCaml plus Jane Street extensions

ocaml-modular-implicits

OCaml extended with modular implicits

ocaml-open

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

ocaml-typed-effects

OCaml with typed algebraic effects