dhil Goto Github PK

aoc2023

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

asus-zenfan

ASUS Zenbook fan driver for Linux

asymptotic-speedup-via-effect-handlers-code-jfp

Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article

best-aalborg-songbook

BEST Aalborg Songbook

binaryen

Optimizer and compiler/toolchain library for WebAssembly

bioleta

bytecodealliance-rfcs

RFC process for Bytecode Alliance projects

check-markdown-urls

constructive-paper

cpp-effects

Effect handlers in C++

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.net

My website

dsn-sse

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

dune

A composable build system for OCaml

effects-bibliography

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

effects-for-efficiency-code

Source code for the experiments in "Effects for Efficiency: Asymptotic Speedup with Delimited Control"

effects-rosetta-stone

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

eiop-experiments

experiments with effects-based I/O prefetching

frankjnr

Another implementation of Frank.

function-references

Proposal for Typed Function References

gdis-2018

Coding workshop for GDIS at Google Aarhus September 2018

generic-count

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

gnu-time-1.7-ms-patch

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

gocaml

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

google-tech-talk-2018

Materials for my Google Tech Talk 2018

h

an experimental basic imperative procedural language with effect handlers

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.