kfl

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.

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

only_funs

trymosml

pure-prolog

Simple pure prolog interpreter

adventofcode_2023

Advent of Code 2023

fsc-wrap

Get fsc as a commandline program

quickcheck-erlang

Example code demonstrating how to use QuickCheck for Erlang

adventofcode_utils

Utilities for AoC

mini-benchmark-game

bpf-docs

Presentations and docs

ebpf-cfg

Starter code for working with a CFG for eBPF

ebpf-experiments

futhark-benchmark-dashboard

Visualisation of Futhark benchmark runtimes over time

fuzz-fun

Show how to use Seasoned Software

haskell-exam-autograding

Template repository for Haskell exams and projects. Includes GitHub Autograding action.

HsYAML

YAML 1.2 implementation in pure Haskell

makefile-help

A simple snippet that allows you to quickly add a 'help' command to a Makefile to show command documentation.

mlkit

Standard ML Compiler and Toolkit

nasm-mode

Major mode for editing NASM assembly programs

program-verification-with-why3

Tutorial for Why3

sonic-lambda

A λ-calculus interpreter in Rust

vagrant-docker-focal

wasi-snapshot-preview2

wasm-experiments

Small WebAssembly snippet and some notes