shwestrick

smlfmt

A custom parser/auto-formatter for Standard ML

mpl-1brc

Solving the 1 Billion Row Challenge in MPL

sml-audio

A library for working with audio in SML

popl25-tutorial

mpl-tinykaboom

A port (MPL) of a port (Futhark) of the KABOOM (C++) tiny graphics program.

polyml-forkjoin

Nested fork-join parallelism in Poly/ML

pure-splay

A purely functional implementation of splay trees

sml-parseq

parallel sequences library in Standard ML

mpl-wc

A simple clone of the Unix `wc` utility, written and parallelized with MaPLe (https://github.com/MPLLang/mpl)

mpl-seam-carve

Image resizing by seam carving, written and parallelized with MaPLe (https://github.com/mpllang/mpl)

sml-uri

Library for URIs in Standard ML

mpl

The MaPLe compiler for Parallel ML

shwestrick.github.io

Sources for the Work Hard, Span Easy blog.

basys-3-clash-counter-example

heron

🏺 Simulation Solver for Timed Causality Models in TESL

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

mini-ml-lang

Testbed for random compiler stuff: compilation passes, type checking, interpreters, etc.

mini-uts

A minimal implementation of the Unbalanced Tree Search benchmark

mlton

The MLton repository

mpl-file-io

Fast File IO for MPL

mpl-seq

Parallel sequences for MPL

nearest-nbrs-shootout

parlaylib

A Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines

raytracers

Performance comparison of parallel ray tracing in functional programming languages

sml-json

Standard ML package for JSON parsing and printing

sml-qasm

(WIP) parser for QASM in SML

sml-vscode-extension

VSCode plugin for Standard ML

smlfut

Allow SML programs to call Futhark programs

sorts

Sorting implementations in Futhark

viz

SVG-based visualizer for parallel execution traces