Starred repositories
A command-line parser for Standard ML
A parser combinator language and compiler designed to produce lossless syntax trees with robust, structured error recovery.
A testing framework for Standard ML.
Implementations of SIMD instruction sets for systems which don't natively support them.
Splittable pseudo-random generator in SML
An automated deductive program verifier based on concurrent separation logic
Standard ML library for working with MatrixMarket (.mtx) files
Standard ML library for faster parsing of Reals (floats/doubles)
Task-parallel runtime system: A C++ library to support task parallelism on multicore platforms
A little Rust library for giving per-index refcounted access to a slice through a shared reference.
Vivado project template for simulation, synthesis and implementation in batch mode
Image resizing by seam carving, written and parallelized with MaPLe (https://github.com/mpllang/mpl)
Code documentation written as code! How novel and totally my idea!
A simple clone of the Unix `wc` utility, written and parallelized with MaPLe (https://github.com/MPLLang/mpl)
A beautiful, simple, clean, and responsive Jekyll theme for academics
A listing of compiler, language and runtime teams for people looking for jobs in this area
Prettyprinter based on KFL's SML port of Wadler's printer
A library of algorithms for approximate nearest neighbor search in high dimensions, along with a set of useful tools for designing such algorithms.