dhil

Effectful programmer

Computing Systems Laboratory, Zurich Research Center, Huawei Technologies SwitzerlandZurich, Switzerland

Pinned Repositories

wasmtime
A fast and secure runtime for WebAssembly
Language:Rust14.6k 185 2.3k1.2k
gocaml
a moral encoding of the control flow primitives of Go in OCaml using effect handlers
Language:OCaml8 2 00
h
an experimental basic imperative procedural language with effect handlers
Language:Rust7 2 00
inf-thesis-latex-cls
A LaTeX Class for Informatics theses at The University of Edinburgh
Language:TeX25 3 010
ocaml-multicont
multi-shot continuations in OCaml
Language:OCaml42 3 62
phd-dissertation
A summary of my activities during the past four years
Language:TeX27 4 110
pthandlers
an encoding of affine effect handlers using pthreads
Language:C13 3 01
links
Links: Linking Theory to Practice for the Web
Language:OCaml318 18 58642
effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
Language:OCaml415 14 835
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
916 60 479

dhil's Repositories

dhil/ocaml-multicont
multi-shot continuations in OCaml
Language:OCaml42 3 62
dhil/phd-dissertation
A summary of my activities during the past four years
Language:TeX27 4 110
dhil/inf-thesis-latex-cls
A LaTeX Class for Informatics theses at The University of Edinburgh
Language:TeX25 3 010
dhil/gocaml
a moral encoding of the control flow primitives of Go in OCaml using effect handlers
Language:OCaml8 2 00
dhil/generic-count
implementing generic count using undelimited continuations, delimited continuations, and effect handlers
Language:OCaml5
dhil/ocaml-libctrl
a playground library for various control abstractions coded on top of effect handlers
Language:OCaml3 2 01
dhil/programming
Language:Haskell3 5 0
dhil/aoc2023
an attempt to solve Advent of Code 2023 using the Links programming language
2
dhil/dhil.net
My website
Language:HTML1 3 0
dhil/links
Links
Language:OCaml1 3 0
dhil/mandriljulekalender
Mandriljulekalender
Language:JavaScript1 4 18
dhil/asymptotic-speedup-via-effect-handlers-code-jfp
Supplementary code & data for "Section 11: Experiments" in the "Asymptotic Speedup via Effect Handlers" article
Language:OCaml2 0
dhil/bioleta
dhil/bytecodealliance-rfcs
RFC process for Bytecode Alliance projects
dhil/cpp-effects
Effect handlers in C++
dhil/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
4 0
dhil/eiop-experiments
experiments with effects-based I/O prefetching
Language:C++
dhil/function-references
Proposal for Typed Function References
Language:WebAssembly0 0
dhil/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
dhil/meetings
WebAssembly meetings (VC or in-person), agendas, and notes
dhil/mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
Language:C1 0
dhil/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml3 0
dhil/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell1 0
dhil/stratagem
STRATAGEM is a research prototype system illustrating some theoretical ideas in game semantics.
Language:Standard ML2 0
dhil/wamlfx
Waml extended with effect handlers
Language:OCaml1 0
dhil/wasm-stack-switching
A repository for the stack switching proposal.
Language:WebAssembly0 0
dhil/wasm-tools
Low level tooling for WebAssembly in Rust
Language:Rust1 0
dhil/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Language:Rust
dhil/webassembly-spec
WebAssembly draft specification, reference interpreter, and testsuite.
Language:WebAssembly5 0
dhil/wit-bindgen
A language binding generator for WebAssembly interface types