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
OCaml SSL bindings.
OCaml with typed algebraic effects
OCaml bindings for the Xlib library.
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
My improvements to the OCaml/MPI interface
Main public package repository for OPAM, the source package manager of OCaml.
A summary of my activities during the past four years
Tools for authors of ppx rewriters
A library of splittable pseudo-random number generators for OCaml
an encoding of affine effect handlers using pthreads
natbib compatible splncs04.bst (Springer LNCS) BibTeX Style File built using a docstrip with the conventional merlin.mbs master file.
STRATAGEM is a research prototype system illustrating some theoretical ideas in game semantics.
Triple 20: A domain specific language for kernel-to-kernel transformations.
The Definition of Standard ML, Revised (1997)
Waml extended with effect handlers
A repository for the stack switching proposal.
Low level tooling for WebAssembly in Rust
Standalone JIT-style runtime for WebAssembly, using Cranelift
WebAssembly draft specification, reference interpreter, and testsuite.