melsman
Professor at the Department of Computer Science, University of Copenhagen. Conducts research in the design and implementation of programming languages.
University of Copenhagen, DenmarkCopenhagen, Denmark
Pinned Repositories
futhark
:boom::computer::boom: A data-parallel functional programming language
sml-server
Web server infrastructure for Standard ML
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
aplcompile
APL compiler written in Standard ML
aplparse
APL parser written in Standard ML
apltail
APL Compiler targeting a typed array intermediate language
melsman.github.io
Personal web site
mlkit
Standard ML Compiler and Toolkit
mlkit-bench
Benchmark tool for MLKit
sml-llvm
Standard ML Bindings for LLVM
melsman's Repositories
melsman/mlkit
Standard ML Compiler and Toolkit
melsman/apltail
APL Compiler targeting a typed array intermediate language
melsman/aplcompile
APL compiler written in Standard ML
melsman/draw2d
Standard ML library for 2d drawing
melsman/futhark-bezier
Flattened Data-Parallel Generation of Cubic Bezier Curves in Futhark
melsman/MoA
Multi-dimentional array calculus in Standard ML
melsman/feigenbaum
Futhark Feigenbaum Bifurcation
melsman/mlkit-postgresql
Postgresql library for Standard ML / MLKit
melsman/mlkit-bench
Benchmark tool for MLKit
melsman/sml-server-demo
SMLserver demo
melsman/debs-icfp24
Artifact for ICFP 2024 paper: Double-Ended Bit-Stealing for Algebraic Datatypes
melsman/reml-popl24
Artifact for POPL '24 paper: Explicit Effects and Effect Constraints in ReML
melsman/futgliffer
Software for transforming UFO font specifications into Futhark data objects
melsman/mlkit-ssl-socket
SSL on top of inet sockets
melsman/turtlegym
Some simple data sources in various formats
melsman/bitstealing
Artifact for paper on Double-Ended Bit-Stealing
melsman/effects-seminar-public
Seminar on effects - exception effect analysis and region-based effect analysis - public files
melsman/fsharp-img-util
Simple portable drawing and image utilities for F#
melsman/melsman.github.io
Personal web site
melsman/mlkit-benchmarks
MLKit Benchmarks
melsman/stupidart
Don't try to be clever! :shit:
melsman/awstest
Test for aws
melsman/coursegrader
A system to manage course grades
melsman/homebrew-core
🍻 Default formulae for the missing package manager for macOS
melsman/mlkit-charting
Charting of MLKit performance of benchmarks over time
melsman/mlton
The MLton repository
melsman/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
melsman/segmented
Irregular segmented operations implemented in Futhark
melsman/sml-quantum
Quantum computing simulations
melsman/wpp
A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.