Starred repositories
A simple tool for visually comparing two PDF files
an educational compiler intermediate representation
LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
A command-line parser for Standard ML
A parser combinator language and compiler designed to produce lossless syntax trees with robust, structured error recovery.
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