Combined array and automatic differentiation library in C++

Haskell implemented with combinators

[CVPR'24 Highlight & Best Demo Award] Gaussian Splatting SLAM

Stalin∇, a brutally optimizing compiler for the VLAD language

Playing around with Inform 7

CSL citation processing library in Haskell

Scientific computing in Lean 4

temporal system based on a binary star system

Low-level typesafe HDF5 bindings

Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"

Automatic Differentiation

Automatic differentiation for WebAssembly.

clad -- automatic differentiation for C/C++

The DIKU Quantum Simulator Framework

A Haskell library for line input in command-line programs.

A C++ Algorithmic Differentiation Package: Home Page

Image resizing by seam carving, written and parallelized with MaPLe (https://github.com/mpllang/mpl)

A simple clone of the Unix `wc` utility, written and parallelized with MaPLe (https://github.com/MPLLang/mpl)

snippets from Vovk's ALRW (2022) in futhark.

Solutions to some of the katas in Futhark

ML Basis for Poly/ML

A parallel solver for heavy metal isotope abundances within LCDM and beyond implemented using Futhark programming language.

Fast gradient evaluation in C++ based on Expression Templates.

Advent of Code 2024

A powerful but simple library for measuring the performance of Haskell code.

code for advent of code 2024

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

rash: asynchronous shell