dhil/inf-thesis-latex-cls

Stars
24
Rank 956,318 (Top 20 %)
Language
TeX
License
Creative Commons ...
Created over 8 years ago
Updated over 1 year ago

dhil/inf-thesis-latex-cls

dhil

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A LaTeX Class for Informatics theses at The University of Edinburgh

ocaml-multicont

multi-shot continuations in OCaml

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

generic-count

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

programming

t20

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

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

mandriljulekalender

Mandriljulekalender

mandrilapp

aoc2023

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

asus-zenfan

ASUS Zenbook fan driver for Linux

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus