dhil Goto Github PK

inf-homepage

My homepage at the School of Informatics, University of Edinburgh, Scotland.

inf-thesis-latex-cls

A LaTeX Class for Informatics theses at The University of Edinburgh

interface-types

jankscripten

koka

Koka language compiler and interpreter

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus

libmprompt

Robust multi-prompt delimited control and effect handlers in C/C++

links

Links

links-database-setup

Simple setup script including data for Links database examples

links-ocaml-handlers-compiler-abstract

Extended abstract about the Links with effect handlers compiler

llama-compiler

An example of interfacing with the backend of the OCaml compiler

llpp

PDF pager

lwt

Cooperative threading for OCaml.

mandrilapp

mandriljulekalender

Mandriljulekalender

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

module-linking

Proposal for allowing modules to define, import and export modules and instances

msc-dissertation

MSc Dissertation repository

mscr-dissertation

MSc by Research dissertation

multicore-opam

OPAM repo for OCaml multicore development

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-aeio

Asynchronous effect based IO

ocaml-cgi

ocaml-deriving

Extension to OCaml for deriving functions from type declarations.

ocaml-eff-example

Examples to illustrate the use of algebraic effects in OCaml

ocaml-effects

OCaml with support for (unchecked) algebraic effects and handlers

ocaml-integers

Various signed and unsigned integer types for OCaml

ocaml-multicont

multi-shot continuations in OCaml

ocaml-multicore

Multicore OCaml

ocaml-optcomp

Optional compilation for OCaml with cpp-like directives