Copenhagen, Denmark

Martin Elsman

Elite
@melsman

Professor at the Department of Computer Science, University of Copenhagen. Conducts research in the design and implementation of programming languages.

elsman.com

mlkit. Standard ML Compiler and Toolkit

305

apltail. APL Compiler targeting a typed array intermediate language

221

aplcompile. APL compiler written in Standard ML

36

aplparse. APL parser written in Standard ML

18

unicode. Utf8 processing support for Standard ML

10

sml-llvm. Standard ML Bindings for LLVM

10

draw2d. Standard ML library for 2d drawing

9

MoA. Multi-dimentional array calculus in Standard ML

8

futhark-bezier. Flattened Data-Parallel Generation of Cubic Bezier Curves in Futhark

7

mlkit-postgresql. Postgresql library for Standard ML / MLKit

7

kitlib. Collection of Standard ML libraries

6

feigenbaum. Futhark Feigenbaum Bifurcation

5

sml-server-demo. SMLserver demo

4

mlkit-bench. Benchmark tool for MLKit

4

neural-networks-and-deep-learning. Code samples for my book "Neural Networks and Deep Learning"

4

contracts. A simple algebraic financial contract language

3

smlexpose. Tool for exposing SMLserver functionality to clients

3

reml-popl24. Artifact for POPL '24 paper: Explicit Effects and Effect Constraints in ReML

3

turtlegym. Some simple data sources in various formats

2

debs-icfp24. Artifact for ICFP 2024 paper: Double-Ended Bit-Stealing for Algebraic Datatypes

2

mlkit-ssl-socket. SSL on top of inet sockets

2
21
Apply