Discover @dhil Open Source projects

Daniel Hillerström (@dhil)

dhil

Stars
149
Global Rank 154,504 (Top 6 %)
Followers 124
Following 91
Registered over 12 years ago
Most used languages

OCaml
38.1 %

TeX
14.3 %

Makefile 9.5 %

Haskell
9.5 %

C
9.5 %

Dart
4.8 %

Rust
4.8 %

JavaScript
4.8 %

HTML
4.8 %
Location 🇨🇭 Switzerland
Country Total Rank 1,639
Country Ranking

OCaml
7

TeX
29

Makefile 51

Dart
57

Haskell
78

Rust
246

C
369

HTML
1,907

JavaScript
3,005

ocaml-multicont

multi-shot continuations in OCaml

inf-thesis-latex-cls

A LaTeX Class for Informatics theses at The University of Edinburgh

phd-dissertation

A summary of my activities during the past four years

pthandlers

an encoding of affine effect handlers using pthreads

gocaml

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

h

an experimental basic imperative procedural language with effect handlers

hx

an effect handler-oriented programming language

best-aalborg-songbook

BEST Aalborg Songbook

t20

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

generic-count

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

programming

ocaml-libctrl

a playground library for various control abstractions coded on top of effect handlers

msc-dissertation

MSc Dissertation repository

links-ocaml-handlers-compiler-abstract

Extended abstract about the Links with effect handlers compiler

hat

Small concatenate (cat) clone written in Haskell.

hank

a research programming language based on handlers

llama-compiler

An example of interfacing with the backend of the OCaml compiler

mandrilapp

aoc2023

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

asus-zenfan

ASUS Zenbook fan driver for Linux

mandriljulekalender

Mandriljulekalender

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus