Unofficial website

Action for installing Futhark

A Futhark library with data structures.

My thesis

Futhark implementation of vtrees - data parallel operations on trees based on Euler tours

Quantum Gates: Notes on quantum gates and the circuit model of quantum computation

The DIKU Quantum Simulator Framework

Quantum Circuits and Simulation in Standard ML for the ATPL MSc Course

The Standard ML compiler that produces Lua/JavaScript

Qrisp - The next generation of quantum algorithm development

Jupyter Notebooks for the Qrisp Programming Workshop in Copenhagen 2024

Generic Matrix Library for Standard ML

Standard ML complex number library

Complex number library for Futhark

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

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

Artifact for POPL '24 paper: Explicit Effects and Effect Constraints in ReML

Emacs major mode for editing Futhark programs

A language server for Standard ML.

Standard ML API for TIGR - the TIny GRaphics library.

TIGR - the TIny GRaphics library for Windows, macOS, Linux, iOS and Android.

Scripts to compile and run Standard ML programs defined in .mlb files.

Generic package manager for Standard ML libraries and programs

Port of extended-basis library to smlpkg (targeting MLton, PolyML, MLKit, and SMLNJ v110.99.4)

Artifact for PLDI 23 paper

Standard ML of New Jersey

Standard ML library for catenable strings

Command line option parsing for Standard ML

Action for installing MLKit