Course website for Data Parallel Programming at DIKU

Standard ML complex number library

Data repository for my blog series on microprocessor trend data.

NviWatch: A blazingly fast rust based TUI for managing and monitoring NVIDIA GPU processes

A dependently-typed, array-polymorphic language that runs on parallel architectures

Prettyprinter based on KFL's SML port of Wadler's printer

Implementation of the Futhark core language in Standard ML

ᚦᛆᛐ᛭ᛂᚱ᛭ᛂᛁᚿᚢᚶᛁᛋ᛭ᚴᛆᛚᛚᛆᚧ᛭ᚠᚢᚦᛆᚱᚴ᛭ᛂᚠ᛭ᚦᛆᚧ᛭ᛂᚱ᛭ᚵᛆᛚᛑᚱᛆᚱ᛭ᛋᛂᛘ᛭ᛂᚱᚢ᛭ᚠᛚᚢᛐᛐᛁᚱ᛭ᛆᚠ᛭ᚡᚴᛁᚶᚢᛘ᛭ᛂᚿ᛭ᛂᚠ᛭ᛂᛁᚵᛁ᛭ᚦ᛭ᛂᚱ᛭ᚦᛆᛐ᛭ᚵᛚᛁᛐᚱᛆᚿᛑᛁ᛭ᚠᛁᛚᚱᛅᛐᛐ᛭ᚼᛐᛐ᛭ᛋᛐᛁᚵ᛭ᚠᚿᚴᛋᛁᚿᛆᛚ᛭ᚵᚵᚿ᛭ᛋᛆᛘᚼᛚᛁᚧᛆ᛭ᚱᛆᚧᚦᛚᚢᛐᚢᚿᛆᚱᛐᚢᚶᚢᛘᛚ

Embedding Pointful Array Programming in Python

Neptune-related Futhark GPU accelerator

Public repository for Advanced Programming

Course notes for AP

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Experimental infrastructure for the paper "A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array language"

A modern supercompiler for call-by-value functional languages

Solving Project Euler problems with Futhark

Artifact for the paper AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Terminal banners with Bezier curves

Software for transforming UFO font specifications into Futhark data objects

Incompatible Timesharing System

Examples and code for the book "Gnuplot in Action (Second Edition)"

The Bachelor Project of Victor Alexander Schmidt, by supervision of Troels Henriksen.

Artifact for ICFP 2024 paper: Double-Ended Bit-Stealing for Algebraic Datatypes