Ken Friis Larsen's repositories
adventofcode_2021
Advent of Code, 2021
diku-canvas
Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
staffeli_nt
Staffeli NT Technology
adventofcode_2022
Advent of Code 2022
ebpf-tools
Experiments with eBPF bytecode
pure-prolog
Simple pure prolog interpreter
adventofcode_2023
Advent of Code 2023
quickcheck-erlang
Example code demonstrating how to use QuickCheck for Erlang
adventofcode_utils
Utilities for AoC
futhark-benchmark-dashboard
Visualisation of Futhark benchmark runtimes over time
haskell-exam-autograding
Template repository for Haskell exams and projects. Includes GitHub Autograding action.
makefile-help
A simple snippet that allows you to quickly add a 'help' command to a Makefile to show command documentation.
program-verification-with-why3
Tutorial for Why3
sonic-lambda
A λ-calculus interpreter in Rust
wasm-experiments
Small WebAssembly snippet and some notes