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
smlpkg
Generic package manager for Standard ML libraries and programs
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/MoA
Multi-dimentional array calculus in Standard ML
melsman/futhark-bezier
Flattened Data-Parallel Generation of Cubic Bezier Curves in Futhark
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/reml-popl24
Artifact for POPL '24 paper: Explicit Effects and Effect Constraints in ReML
melsman/debs-icfp24
Artifact for ICFP 2024 paper: Double-Ended Bit-Stealing for Algebraic Datatypes
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.