Starred repositories
7
stars
written in Standard ML
Clear filter
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
The MaPLe compiler for efficient and scalable parallel functional programming
A verified compiler for a lazy functional language
A stepping debugger for Standard ML (SML)