Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core
Grain/heapster-saw
Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core
HaskellBSD-3-Clause