
CakeML / cakeml
CakeML: A Verified Implementation of ML
GitHub Standard ML 
diblab / sourmash
Compute and compare MinHash signatures for DNA data sets.
GitHub Standard ML 
remsproject / sail
Sail architecture definition language
GitHub Standard ML 
RedPRL / smlredprl
The People's Refinement Logic
GitHub Standard ML 
HOLTheoremProver / HOL
Canonical sources for HOL4 theoremproving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
GitHub Standard ML 
exercism / sml
Exercism exercises in Standard ML.
GitHub Standard ML 
Quantomatic / quantomatic
Quantomatic is a tool for doing automated graph rewriting.
GitHub Standard ML