Certified Programs A small selection of heap-manipulating programs verified in different frameworks. Current targets: HTT (Project Page) VST (Project Page)