Daniel Hillerström

Login: dhil

Company: The University of Edinburgh

Location: Edinburgh, Scotland, UK

Bio: Effectful programmer

Blog: https://www.dhil.net

Blog: https://www.dhil.net

Member of

1. OCaml Labs
2. The Links Programming Language

Repositories

asus-zenfan

ASUS Zenbook fan driver for Linux

best-aalborg-songbook

BEST Aalborg Songbook

constructive-paper

null

ct-structured-tests-example

Compiling Techniques course at the University of Edinburgh

dart-sdk

The Dart SDK, including the VM, dart2js, core libraries, and more.

dhil.github.io

Personal website

dhil.net

My website

dsn-sse

Selfstudy exercises for "Network and Distributed Systems" course at cs.aau.dk

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

effects-rosetta-stone

A comparison of how computational effects and handlers are implemented in various programming languages.

frankjnr

Another implementation of Frank.

gnu-time-1.7-ms-patch

GNU time patched with an option for displaying elapsed real time in milliseconds

hank

a research programming language based on handlers

hat

Small concatenate (cat) clone written in Haskell.

hhvm

A virtual machine designed for executing programs written in Hack and PHP.

icfp2016-papers

Link to preprints for ICFP'16 and co-located events

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

jbuilder

A composable build system for OCaml

koka

Koka language compiler and interpreter

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus

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

llpp

PDF pager

lwt

Cooperative threading for OCaml.

mandrilapp

null

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

null

ocaml-deriving

Extension to OCaml for deriving functions from type declarations.

ocaml-effects

OCaml with support for (unchecked) algebraic effects and handlers

ocaml-eff-example

Examples to illustrate the use of algebraic effects in OCaml

ocamlmpi

My improvements to the OCaml/MPI interface

ocaml-multicore

Multicore OCaml

ocaml-optcomp

Optional compilation for OCaml with cpp-like directives

ocaml-ssl

OCaml SSL bindings.

ocaml-typed-effects

OCaml with typed algebraic effects

ocaml-xlib

OCaml bindings for the Xlib library.

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

paulastrain

A tribute to Paula Gombar!

phd-literature-review

null

ppx_tools

Tools for authors of ppx rewriters

programming

null

The-Definition-of-Standard-ML-Revised

The Definition of Standard ML, Revised (1997)

webassembly-spec

WebAssembly draft specification, reference interpreter, and testsuite.

Commits To