Daniel Hillerström

Elite
@dhil

Effectful programmer

ocaml-multicont. multi-shot continuations in OCaml

55

inf-thesis-latex-cls. A LaTeX Class for Informatics theses at The University of Edinburgh

35

phd-dissertation. A summary of my activities during the past four years

31

pthandlers. an encoding of affine effect handlers using pthreads

14

gocaml. a moral encoding of the control flow primitives of Go in OCaml using effect handlers

8

h. an experimental basic imperative procedural language with effect handlers

7

generic-count. implementing generic count using undelimited continuations, delimited continuations, and effect handlers

5

t20. Triple 20: A domain specific language for kernel-to-kernel transformations.

4

best-aalborg-songbook. BEST Aalborg Songbook

4

ocaml-libctrl. a playground library for various control abstractions coded on top of effect handlers

4

programming. Haskell

4

ocaml-multicore. Multicore OCaml

3

links-ocaml-handlers-compiler-abstract. Extended abstract about the Links with effect handlers compiler

2

aoc2023. an attempt to solve Advent of Code 2023 using the Links programming language

2

llama-compiler. An example of interfacing with the backend of the OCaml compiler

2

msc-dissertation. MSc Dissertation repository

2

hank. a research programming language based on handlers

1

links. Links

1

hat. Small concatenate (cat) clone written in Haskell.

1

asus-zenfan. ASUS Zenbook fan driver for Linux

1

mandriljulekalender. Mandriljulekalender

1

koka. Koka language compiler and interpreter

1
22
Apply