Daniel Hillerström's repositories
ocaml-multicont
multi-shot continuations in OCaml
phd-dissertation
A summary of my activities during the past four years
inf-thesis-latex-cls
A LaTeX Class for Informatics theses at The University of Edinburgh
generic-count
implementing generic count using undelimited continuations, delimited continuations, and effect handlers
ocaml-libctrl
a playground library for various control abstractions coded on top of effect handlers
mandriljulekalender
Mandriljulekalender
asymptotic-speedup-via-effect-handlers-code-jfp
Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
bytecodealliance-rfcs
RFC process for Bytecode Alliance projects
cpp-effects
Effect handlers in C++
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
eiop-experiments
experiments with effects-based I/O prefetching
function-references
Proposal for Typed Function References
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
meetings
WebAssembly meetings (VC or in-person), agendas, and notes
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
wasm-stack-switching
A repository for the stack switching proposal.
wasm-tools
Low level tooling for WebAssembly in Rust
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
webassembly-spec
WebAssembly draft specification, reference interpreter, and testsuite.
wit-bindgen
A language binding generator for WebAssembly interface types