Name: Daniel Hillerström
Type: User
Company: Computing Systems Laboratory, Zurich Research Center, Huawei Technologies Switzerland
Bio: Effectful programmer
Twitter: dhillerstrom
Location: Zurich, Switzerland
Blog: https://dhil.net
Daniel Hillerström's Projects
My homepage at the School of Informatics, University of Edinburgh, Scotland.
A LaTeX Class for Informatics theses at The University of Edinburgh
Koka language compiler and interpreter
An interactive implementation of the lambda-eff-row calculus
Robust multi-prompt delimited control and effect handlers in C/C++
Links
Simple setup script including data for Links database examples
Extended abstract about the Links with effect handlers compiler
An example of interfacing with the backend of the OCaml compiler
PDF pager
Cooperative threading for OCaml.
Mandriljulekalender
mimalloc is a compact general purpose allocator with excellent performance.
Proposal for allowing modules to define, import and export modules and instances
MSc Dissertation repository
MSc by Research dissertation
OPAM repo for OCaml multicore development
The core OCaml system: compilers, runtime system, base libraries
Asynchronous effect based IO
Extension to OCaml for deriving functions from type declarations.
Examples to illustrate the use of algebraic effects in OCaml
OCaml with support for (unchecked) algebraic effects and handlers
Various signed and unsigned integer types for OCaml
multi-shot continuations in OCaml
Multicore OCaml
Optional compilation for OCaml with cpp-like directives