-
New York University
- New York, NY
- https://cs.nyu.edu/~shw8119/
- https://orcid.org/0000-0003-2848-9808
- @shwestrick
- https://shwestrick.github.io
-
smlfmt Public
A custom parser/auto-formatter for Standard ML
-
-
mpl Public
Forked from MPLLang/mplThe MaPLe compiler for Parallel ML
-
pure-splay Public
A purely functional implementation of splay trees
-
-
parlaylib Public
Forked from cmuparlay/parlaylibA Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines
C++ MIT License UpdatedJan 31, 2025 -
-
mpl-seam-carve Public
Image resizing by seam carving, written and parallelized with MaPLe (https://github.com/mpllang/mpl)
-
mpl-wc Public
A simple clone of the Unix `wc` utility, written and parallelized with MaPLe (https://github.com/MPLLang/mpl)
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedDec 18, 2024 -
mpl-1brc Public
Solving the 1 Billion Row Challenge in MPL
-
sorts Public
Forked from diku-dk/sortsSorting implementations in Futhark
Futhark ISC License UpdatedOct 28, 2023 -
smlfut Public
Forked from diku-dk/smlfutAllow SML programs to call Futhark programs
Standard ML GNU General Public License v3.0 UpdatedSep 28, 2023 -
-
polyml-forkjoin Public
Nested fork-join parallelism in Poly/ML
-
-
sml-vscode-extension Public
Forked from vrjuliao/sml-vscode-extensionVSCode plugin for Standard ML
JavaScript Apache License 2.0 UpdatedJan 30, 2022 -
mini-ml-lang Public
Testbed for random compiler stuff: compilation passes, type checking, interpreters, etc.
Standard ML UpdatedJan 26, 2022 -
-
sml-json Public
Forked from diku-dk/sml-jsonStandard ML package for JSON parsing and printing
Standard ML MIT License UpdatedJan 21, 2022 -
mini-uts Public
A minimal implementation of the Unbalanced Tree Search benchmark
C MIT License UpdatedSep 30, 2021 -
sml-parseq Public
parallel sequences library in Standard ML
-
sml-audio Public
A library for working with audio in SML
-
mpl-tinykaboom Public
A port (MPL) of a port (Futhark) of the KABOOM (C++) tiny graphics program.
-
-
raytracers Public
Forked from athas/raytracersPerformance comparison of parallel ray tracing in functional programming languages
Futhark UpdatedSep 10, 2020 -
heron Public
Forked from heron-solver/heron🏺 Simulation Solver for Timed Causality Models in TESL
Standard ML MIT License UpdatedFeb 24, 2020 -
-