verifuck

Verified Brainfuck running on MirageOS

A formally verified High-Level Language Runtime Environment. Memory-safe; type-safe; garbage prevention -- garbage collection is a thing of the past