kfl

Renaissance Computer Scientist.

Department of Computer Science, University of Copenhagen @diku-dk Copenhagen

Pinned Repositories

adventofcode_2021
Advent of Code, 2021
Language:Haskell9 4 00
adventofcode_2022
Advent of Code 2022
Language:Haskell7 2 00
american-options
Emperiments with algorithms for pricing American Options
Language:Standard ML6 2 16
ebpf-tools
Experiments with eBPF bytecode
Language:Haskell14 4 124
mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Language:Standard ML356 29 5744
mosml-js
Javascript backend for Moscow ML
Language:Standard ML9 4 01
only_funs
Language:F#5 3 00
staffeli_nt
Staffeli NT Technology
Language:Python9 4 358
webserver-functor
Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.
Language:Standard ML13 3 01
wpp
A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
Language:Standard ML19 4 15

kfl's Repositories

kfl/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Language:Standard ML356 29 5744
kfl/wpp
A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
Language:Standard ML19 4 15
kfl/ebpf-tools
Experiments with eBPF bytecode
Language:Haskell14 4 124
kfl/adventofcode_2021
Advent of Code, 2021
Language:Haskell9 4 00
kfl/staffeli_nt
Staffeli NT Technology
Language:Python9 4 358
kfl/diku-canvas
Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
Language:F#8 1 03
kfl/adventofcode_2022
Advent of Code 2022
Language:Haskell7 2 00
kfl/only_funs
Language:F#5 3 00
kfl/adventofcode_2024
Advent of Code 2024
Language:Haskell4 1 0
kfl/trymosml
Language:JavaScript4 3 40
kfl/pure-prolog
Simple pure prolog interpreter
Language:Haskell3 2 11
kfl/adventofcode_2023
Advent of Code 2023
Language:Haskell2 2 0
kfl/fsc-wrap
Get fsc as a commandline program
Language:F#2 2 0
kfl/adventofcode_utils
Utilities for AoC
Language:Shell1 2 0
kfl/mini-benchmark-game
Language:Rust1 3 0
kfl/sonic-lambda
A λ-calculus interpreter in Rust
Language:Rust1 2 0
kfl/bpf-docs
Presentations and docs
1 0
kfl/ebpf-cfg
Starter code for working with a CFG for eBPF
Language:Haskell2 02
kfl/ebpf-experiments
2 0
kfl/futhark-benchmark-dashboard
Visualisation of Futhark benchmark runtimes over time
Language:JavaScript2 0
kfl/haskell-exam-autograding
Template repository for Haskell exams and projects. Includes GitHub Autograding action.
Language:Shell1 0
kfl/HsYAML
YAML 1.2 implementation in pure Haskell
Language:Haskell1 0
kfl/makefile-help
A simple snippet that allows you to quickly add a 'help' command to a Makefile to show command documentation.
Language:Shell1 0
kfl/minotop
An experimental system monitoring application demonstrating a simple Tauri app built with Rust.
Language:HTML
kfl/mlkit
Standard ML Compiler and Toolkit
Language:Standard ML1 0
kfl/nasm-mode
Major mode for editing NASM assembly programs
Language:Emacs Lisp1 0
kfl/program-verification-with-why3
Tutorial for Why3
2 0
kfl/vagrant-docker-focal
Language:Dockerfile2 0
kfl/wasi-snapshot-preview2
1 0
kfl/wasm-experiments
Small WebAssembly snippet and some notes
Language:TypeScript2 01