Ken Friis Larsen

mosml. Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

wpp. A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.

ebpf-tools. Experiments with eBPF bytecode

webserver-functor. Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.

staffeli_nt. Staffeli NT Technology

mosml-js. Javascript backend for Moscow ML

adventofcode_2021. Advent of Code, 2021

adventofcode_2022. Advent of Code 2022

american-options. Emperiments with algorithms for pricing American Options

only_funs. F#

verified-monkey-island. Standard ML

adventofcode_2024. Advent of Code 2024

quickcheck-c-interface. Example code demonstrating how to use QuickCheck for Erlang to test C code

trymosml. JavaScript

muddy. MuDDy is a ML interface to the Binary Decision Diagrams package BuDDy

pure-prolog. Simple pure prolog interpreter

smlsqlite. smlsqlite is a binding of SQLite for Moscow ML and MLton

quickcheck-erlang. Example code demonstrating how to use QuickCheck for Erlang

adventofcode_2023. Advent of Code 2023

fsc-wrap. Get fsc as a commandline program

bigish. Example code working with bigish data in the browser. Using crossfilter and other libraries.

simpleparse. Simple to understand parser combinator library

Datalog-experiments. Experimental datalog/prolog implementation

prog-contest-diku. Scratchpad for people interested in programming contests at DIKU

adventofcode_utils. Utilities for AoC

miniprolog. Minimal (Pure) Prolog implementation

readbits. Example of how to read binary data with Haskell

par-tutorial. A tutorial on Parallel and Concurrent Haskell

mmage. Simple image library with functional interface for Moscow ML. Based on SDL2.

mini-benchmark-game. Rust

sonic-lambda. A λ-calculus interpreter in Rust

gpsblyant. Python

dropdav. WebDAV frontend for Dropbox.

cloudhaskell-experiments. Haskell