Discover @kfl Open Source projects

Ken Friis Larsen (@kfl)

kfl

Stars
451
Global Rank 61,007 (Top 3 %)
Followers 133
Following 42
Registered over 15 years ago
Most used languages

Haskell
33.3 %

Standard ML 25.9 %

F#
7.4 %

C
7.4 %

JavaScript
7.4 %

Python
7.4 %

Rust
3.7 %

Erlang
3.7 %

OCaml
3.7 %
Location 🇩🇰 Denmark
Country Total Rank 303
Country Ranking

Standard ML 2

F#
14

Haskell
17

Erlang
18

OCaml
25

Rust
208

C
221

Python
637

JavaScript
763

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.

webserver-functor

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

adventofcode_2021

Advent of Code, 2021

adventofcode_2022

Advent of Code 2022

staffeli_nt

Staffeli NT Technology

mosml-js

Javascript backend for Moscow ML

american-options

Emperiments with algorithms for pricing American Options

only_funs

trymosml

verified-monkey-island

quickcheck-c-interface

Example code demonstrating how to use QuickCheck for Erlang to test C code

ebpf-tools

Experiments with eBPF bytecode

muddy

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

smlsqlite

smlsqlite is a binding of SQLite for Moscow ML and MLton

pure-prolog

Simple pure prolog interpreter

quickcheck-erlang

Example code demonstrating how to use QuickCheck for Erlang

fsc-wrap

Get fsc as a commandline program

bigish

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

Datalog-experiments

Experimental datalog/prolog implementation

simpleparse

Simple to understand parser combinator library

prog-contest-diku

Scratchpad for people interested in programming contests at DIKU

mini-benchmark-game

adventofcode_2023

Advent of Code 2023

miniprolog

Minimal (Pure) Prolog implementation

gpsblyant

readbits

Example of how to read binary data with Haskell

mmage

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

cloudhaskell-experiments